Тотально трансцендентная теория с неконструктивизируемой простой моделью
С.С. Гончаров (1980)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “О числе неавтоэквивалентных конструктивизаций”
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
Семейства с одноэлементной полурешеткой Роджерса.
С.С. Гончаров, С.А. Бадаев, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev (1998)
Algebra i Logika
Similarity:
Спектры степеней для отношений на булевых алгебрах
С.С. Гончаров, Р. Доуни, Д. Хиршвельд (2003)
Algebra i Logika
Similarity:
Вычислимые структурные и антиструктурные теоремы.
С.С. Гончаров, Дж. Найт (2002)
Algebra i Logika
Similarity:
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Ю.Г. Венцов (1994)
Algebra i Logika
Similarity:
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
Позитивные нумерации семейств с однозначными нимерациями
С.С. Гончаров (1983)
Algebra i Logika
Similarity:
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
О полурешетках Роджерса семейств арифметических множеств
С.А. Бадаев, С.С. Гончаров (2001)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
О теориях с двухкардинальной формулой
Т.Г. Мустафин (1980)
Algebra i Logika
Similarity:
Счетные модели суперстабильных теорий
Е.П. Байсалов (1990)
Algebra i Logika
Similarity:
Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
С.С. Гончаров, А. Сорби, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi (1997)
Algebra i Logika
Similarity:
Эффективные операции выбора на конструктивных и позитивных моделях
Ю.Г. Венцов (1993)
Algebra i Logika
Similarity:
Автоустойчивость и вычислимые семейства конструктивизаций.
С.С. Гончаров (1975)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Similarity:
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С.П. Одинцов (1992)
Algebra i Logika
Similarity:
О внутренней перечислимости линейных порядков
А.Н. Хисамиев (2000)
Algebra i Logika
Similarity:
О вычислимых группах автоморфизмов моделей.
А.С. Морозов (1986)
Algebra i Logika
Similarity:
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
Автоустойчивость булевых алгебр с выделенным идеалом.
Н.Т. Когабаев (1998)
Sibirskij matematiceskij zurnal
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.
С.П. Одинцов (1986)
Algebra i Logika
Similarity:
О счетной категоричности
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity: