Индексные множества в гиперарифметической иерархии.
В.Л. Селиванов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”
Индексные множества в гиперарифметической иерархии.
Обобщенная вычислимость и дескриптивная теория множеств
В.А. Ганов (1974)
Sibirskij matematiceskij zurnal
Similarity:
О степенях рекурсивно перечислимых множеств.
С. Каллибеков (1973)
Sibirskij matematiceskij zurnal
Similarity:
О теориях со свойством Эренфойхта
В.Я. Беляев (1975)
Sibirskij matematiceskij zurnal
Similarity:
О вычислениях с оракулами
Н.А. Плотникова (1983)
Sibirskij matematiceskij zurnal
Similarity:
Абстрактная характеристика класса полугрупп частично рефлексивных бинарных отношений
К.А. Зарецкий (1967)
Sibirskij matematiceskij zurnal
Similarity:
О некоторых эквивалентностях, связанных с транзитивными представлениями полугрупп.
И.С. Понизовский (1973)
Sibirskij matematiceskij zurnal
Similarity:
Достаточные условия однолистности в невыпуклых областях
Ф.Г. Авхадиев (1974)
Sibirskij matematiceskij zurnal
Similarity:
Исследование непрерывности технологического отображения в модели Неймана-Гейла
И.А. Красс (1972)
Sibirskij matematiceskij zurnal
Similarity:
Аналитический метод в теории двумерных положительных случайных блужданий
В.А. Малышев (1972)
Sibirskij matematiceskij zurnal
Similarity:
Вычисления с оракулами: обобщённая селекция.
Н.В. Белякин (1990)
Sibirskij matematiceskij zurnal
Similarity: