О числе неавтоэквивалентных конструктивизаций
С.С. Гончаров (1977)
Algebra i Logika
Similarity:
Displaying similar documents to “Тотально трансцендентная теория с неконструктивизируемой простой моделью”
О числе неавтоэквивалентных конструктивизаций
О позитивных нумерованных моделях.
Б.М. Хусаинов (1991)
Sibirskij matematiceskij zurnal
Similarity:
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Ю.Г. Венцов (1994)
Algebra i Logika
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
Об эффективно однородных моделях
К.Ж. Кудайбергенов (1986)
Sibirskij matematiceskij zurnal
Similarity:
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
О конструктивизируемости простой модели.
К.Ж. Кудайбергенов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Счетные модели суперстабильных теорий
Е.П. Байсалов (1990)
Algebra i Logika
Similarity:
Пример атомной не алгебраически простой модели.
С.А. Чихачев (1985)
Sibirskij matematiceskij zurnal
Similarity:
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
О гипероднородных и абсолютно однородных моделях.
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость булевых алгебр с выделенным идеалом.
Н.Т. Когабаев (1998)
Sibirskij matematiceskij zurnal
Similarity:
Конечномерные колебательные модели в общей теории относительности и газовой динамике
О.И. Богоявленский, С.П. Новиков (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычислимые структурные и антиструктурные теоремы.
С.С. Гончаров, Дж. Найт (2002)
Algebra i Logika
Similarity:
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
А.С. Морозов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Модельно полные теории ограниченных унаров.
Г.Е. Пунинский (1987)
Sibirskij matematiceskij zurnal
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Модельно полные теории деревьев.
Г.Е. Пунинский (1990)
Sibirskij matematiceskij zurnal
Similarity:
О расширениях конструктивных линейных порядков.
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Примеры неавтоустойчивых систем.
С.С. Гончаров, А.А. Новиков (1984)
Sibirskij matematiceskij zurnal
Similarity:
О конечно-порожденных моделях
К.Ж. Кудайбергенов (1986)
Sibirskij matematiceskij zurnal
Similarity:
Об однородных моделях некоторых слабо минимальных теорий
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость моделей и абелевых групп
С,С. Гончаров (1980)
Algebra i Logika
Similarity: