Свойства нерасщепимых типов в стабильных теориях.
М.И. Бекенов, Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “О сильной базе элементарных типов теорий”
Свойства нерасщепимых типов в стабильных теориях.
О конструктивных моделях неразрешимых теорий
К.Ж. Кудайбергенов (1980)
Sibirskij matematiceskij zurnal
Similarity:
Исчисление с квантором элементарной эквивалентности
А.Г. Пинус (1984)
Sibirskij matematiceskij zurnal
Similarity:
Элементарные расширения, опускание типов и однородные модели
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
О мощных типах в малых теориях.
С.В. Судоплатов (1990)
Sibirskij matematiceskij zurnal
Similarity:
Об однородных моделях одноразномерностных теорий
К.Ж. Кудайбергенов, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov (1995)
Algebra i Logika
Similarity:
Расширенные теории булевых алгебр.
З.А. Дулатова (1984)
Sibirskij matematiceskij zurnal
Similarity:
Счётные модели малых стабильных теорий.
Е.Р. Байсалов (1990)
Sibirskij matematiceskij zurnal
Similarity:
Несущественные расширения полных теорий
Б. Омаров (1983)
Algebra i Logika
Similarity:
О расширениях однородных моделей
К.Ж. Кудайбергенов (1989)
Algebra i Logika
Similarity:
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Критические теории
Ю.М. Важенин (1988)
Sibirskij matematiceskij zurnal
Similarity:
Критерий сильной конструктивизируемости однородной модели.
М.Г. Перетятькин (1978)
Algebra i Logika
Similarity:
Об элементарных теориях полурешеток частичных порядков на множествах
А.Г. Пинус (1998)
Sibirskij matematiceskij zurnal
Similarity:
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Неразрешимость некоторых теорий
Ю.Л. Ершов, М.А. Тайцлин, Ju.L. Eršov, M.A. Tajclin, Ǔ. L. Eršov, M.A. Tajclin, M.A. Taitslin, Ju.L. Ersov, Ju.L. Eršov, M.A. Tajclin (1963)
Algebra i Logika
Similarity: