О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Displaying similar documents to “Конструктивные модели полных разрешимых теорий.”
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
Автоустойчивость и вычислимые семейства конструктивизаций.
С.С. Гончаров (1975)
Algebra i Logika
Similarity:
Ограниченные теории конструктивных булевых алгебр.
С.С. Гончаров (1976)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Конструктивизируемость суператомных булевых алгебр.
С.С. Гончаров (1973)
Algebra i Logika
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Эффективно бесконечные классы слабых конструктивизаций моделей
С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
С.С. Гончаров, А. Сорби, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi (1997)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Спектры степеней для отношений на булевых алгебрах
С.С. Гончаров, Р. Доуни, Д. Хиршвельд (2003)
Algebra i Logika
Similarity:
О нумерациях насыщенных и однородных моделей
С.С. Гончаров, Б.Н. Дроботун (1980)
Sibirskij matematiceskij zurnal
Similarity:
Итерированные обогащения моделей счетных теорий и их приложения.
С.С. Гончаров, М. Пурмахдиан, S. S. Gončarov, M. Purmachdian, S. S. Gončarov, M. Purmahdian, S. S. Gončarov, M. Purmachdian (1995)
Algebra i Logika
Similarity:
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Неравномерная автоустойчивость моделей
Ю.Г. Венцов (1987)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
Автоустойчивость моделей и абелевых групп
С,С. Гончаров (1980)
Algebra i Logika
Similarity:
Счетные модели суперстабильных теорий
Е.П. Байсалов (1990)
Algebra i Logika
Similarity: