Генерические модели счетных теорий
С.А. Чихачев (1975)
Algebra i Logika
Similarity:
Displaying similar documents to “О генетических моделях.”
Генерические модели счетных теорий
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Об однородных моделях тотально трансцендентных немультиразмерностных теорий.
К.Ж. Кудайбергенов (1991)
Algebra i Logika
Similarity:
О счетной категоричности
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Счетные модели суперстабильных теорий
Е.П. Байсалов (1990)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Теория с двумя сильно конструктивизируемыми моделями.
К.Ж. Кудайбергенов (1979)
Algebra i Logika
Similarity:
Неравномерная автоустойчивость моделей
Ю.Г. Венцов (1987)
Algebra i Logika
Similarity:
Об однородных моделях одноразномерностных теорий
К.Ж. Кудайбергенов, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov (1995)
Algebra i Logika
Similarity:
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
А.С. Морозов (1982)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
О теориях с двухкардинальной формулой
Т.Г. Мустафин (1980)
Algebra i Logika
Similarity:
Нормальность хорновых теорий с немаксимальным спектром
Е.А. Палютин (1985)
Algebra i Logika
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
О расширениях однородных моделей
К.Ж. Кудайбергенов (1989)
Algebra i Logika
Similarity:
Несущественные расширения полных теорий
Б. Омаров (1983)
Algebra i Logika
Similarity:
Рекурсивные однородные булевы алгебры
С.Ю. Подзоров (2001)
Algebra i Logika
Similarity:
Конструктивные модели регулярно бесконечной алгоритмической размерности
Ю.Г. Венцов, Ju. G. Vencov, Ǔ. G. Vencov, Ju. G. Vencov (1994)
Algebra i Logika
Similarity: