О конструктивных моделях неразрешимых теорий
К.Ж. Кудайбергенов (1980)
Sibirskij matematiceskij zurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “О нумерациях насыщенных и однородных моделей”
О конструктивных моделях неразрешимых теорий
Конструктивные однородные расширения.
А.С. Денисов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Автоустойчивость и вычислимые семейства конструктивизаций.
С.С. Гончаров (1975)
Algebra i Logika
Similarity:
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
В.П. Добрица (1989)
Sibirskij matematiceskij zurnal
Similarity:
Сильные и слабые конструктивизации и вычислимые семейства.
А.Т. Нуртазин (1974)
Algebra i Logika
Similarity:
Структурные свойства вычислимых классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Неравномерная автоустойчивость моделей
Ю.Г. Венцов (1987)
Algebra i Logika
Similarity:
Вычислимые классы конструктивизаций моделей конечного типа конструктивности
С.С. Гончаров (1993)
Sibirskij matematiceskij zurnal
Similarity: