|
Алгебра и логика, 1978, том 17, номер 4, страницы 363–388
(Mi al1612)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Сильная конструктивизируемость однородных моделей
С. С. Гончаров
Аннотация:
Найдены необходимые и достаточные условия сильной конструктивизируемости однородных моделей, что позволило дать отрицательный ответ на вопрос Морли о сильной конструктивизируемости однородной модели с вычислимым семейством реализующихся в ней типов. Доказано также, что сильная конструктивизируемость счетной универсальной модели влечет сильную конструктивизируемость и простой модели этой теории.
Поступило: 18.01.1978
Образец цитирования:
С. С. Гончаров, “Сильная конструктивизируемость однородных моделей”, Алгебра и логика, 17:4 (1978), 363–388
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1612 https://www.mathnet.ru/rus/al/v17/i4/p363
|
|