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