Свойства нерасщепимых типов в стабильных теориях.
М.И. Бекенов, Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
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: