Конструктивные модели полных разрешимых теорий.

С.С. Гончаров; А.Т. Нуртазин

The search session has expired. Please query the service again.

Displaying similar documents to “Конструктивные модели полных разрешимых теорий.”

О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)

В.Н. Власов, С.С. Гончаров (1993)

Algebra i Logika

Similarity:

Автоустойчивость и вычислимые семейства конструктивизаций.

С.С. Гончаров (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: