Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
В.П. Добрица (1989)
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.
Displaying similar documents to “О конструктивных моделях неразрешимых теорий”
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
О нумерациях насыщенных и однородных моделей
С.С. Гончаров, Б.Н. Дроботун (1980)
Sibirskij matematiceskij zurnal
Similarity:
О полурешетках вычислимых индексаций классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Об однородных моделях одноразномерностных теорий
К.Ж. Кудайбергенов, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov (1995)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
Конструктивные однородные расширения.
А.С. Денисов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Об однородных моделях тотально трансцендентных немультиразмерностных теорий.
К.Ж. Кудайбергенов (1991)
Algebra i Logika
Similarity:
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
В.П. Добрица (1994)
Sibirskij matematiceskij zurnal
Similarity:
Неравномерная автоустойчивость моделей
Ю.Г. Венцов (1987)
Algebra i Logika
Similarity:
О расширениях однородных моделей
К.Ж. Кудайбергенов (1989)
Algebra i Logika
Similarity:
Структурные свойства вычислимых классов конструктивных моделей
В.П. Добрица (1987)
Algebra i Logika
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Элементарные расширения, опускание типов и однородные модели
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity: