Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Мощность моделей теорий исчисления с квантором Хартига.”
Число моделей теорий всюду конечно определенных полигонометрий.
Число Ханфа для исчисления с квантором Хартига
А.Г. Пинус (1979)
Sibirskij matematiceskij zurnal
Similarity:
О гипероднородных и абсолютно однородных моделях.
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Счетные модели суперстабильных теорий
Е.П. Байсалов (1990)
Algebra i Logika
Similarity:
Исчисление с квантором элементарной эквивалентности
А.Г. Пинус (1984)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивизируемости простой модели.
К.Ж. Кудайбергенов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
Несущественные расширения полных теорий
Б. Омаров (1983)
Algebra i Logika
Similarity:
О расширениях конструктивных линейных порядков.
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Об однородных моделях некоторых слабо минимальных теорий
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Ю.Г. Венцов (1994)
Algebra i Logika
Similarity:
Пример атомной не алгебраически простой модели.
С.А. Чихачев (1985)
Sibirskij matematiceskij zurnal
Similarity:
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
Ещё раз о счетно-категоричных предложениях.
А.С. Морозов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Модельно полные теории деревьев.
Г.Е. Пунинский (1990)
Sibirskij matematiceskij zurnal
Similarity:
Об эффективно однородных моделях
К.Ж. Кудайбергенов (1986)
Sibirskij matematiceskij zurnal
Similarity:
Элементарные расширения, опускание типов и однородные модели
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
А.С. Морозов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Book Reviews - From Data to Model.
J.C. Willems ([unknown])
Metrika
Similarity:
Об однородных моделях одноразномерностных теорий
К.Ж. Кудайбергенов, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov (1995)
Algebra i Logika
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
Модельно полные теории ограниченных унаров.
Г.Е. Пунинский (1987)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость булевых алгебр с выделенным идеалом.
Н.Т. Когабаев (1998)
Sibirskij matematiceskij zurnal
Similarity:
Об элементарной эквивалентности топологических пространств
А.Г. Пинус (1979)
Sibirskij matematiceskij zurnal
Similarity: