RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 1993, том 32, номер 6, страницы 631–664 (Mi al2250)
Эта публикация цитируется в 5 статьях

Эффективно бесконечные классы слабых конструктивизаций моделей

С. С. Гончаров


Аннотация: Доказаны эффективная бесконечность и невычислимость классов слабых конструктивизаций сильно конструктивизируемых моделей, имеющих слабые конструктивизации.

УДК: 517.15

Поступило: 24.09.1993


 Англоязычная версия: DOI: 10.1007/BF02263053

Реферативные базы данных:

© МИАН, 2024