Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Автоустойчивость гиперарифметических моделей”
Проблема описания автоустойчивых моделей
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Ю.Г. Венцов (1994)
Algebra i Logika
Similarity:
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Конструктивные модели регулярно бесконечной алгоритмической размерности
Ю.Г. Венцов, Ju. G. Vencov, Ǔ. G. Vencov, Ju. G. Vencov (1994)
Algebra i Logika
Similarity:
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О внутренней перечислимости линейных порядков
А.Н. Хисамиев (2000)
Algebra i Logika
Similarity: