Несущественные расширения полных теорий
Б. Омаров (1983)
Algebra i Logika
Similarity:
Displaying similar documents to “Счетные модели суперстабильных теорий”
Несущественные расширения полных теорий
Теории с тремя счетными моделями
М.Г. Перетятькин (1980)
Algebra i Logika
Similarity:
О классификации суперстабильных теорий по ранговым функциям
Т.Г. Мустафин (1985)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
О категоричных позитивных хорновских теориях.
Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Paljutin (1979)
Algebra i Logika
Similarity:
Универсальные расширенные теории целых чисел
В.И. Мартьянов (1977)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Конструктивные модели регулярно бесконечной алгоритмической размерности
Ю.Г. Венцов, Ju. G. Vencov, Ǔ. G. Vencov, Ju. G. Vencov (1994)
Algebra i Logika
Similarity:
Полные теории унаров.
А.А. Иванов (1984)
Algebra i Logika
Similarity: