|
Сибирский математический журнал, 1984, том 25, номер 4, страницы 93–98
(Mi smj6879)
|
|
|
|
О конструктивизируемости простой модели
К. Ж. Кудайбергенов
Аннотация:
Получены следующие результаты.
1. Существует полная разрешимая теория, которая имеет простую модель и сильно конструктивизируемую модель, простую над конечным множеством, но простая модель не конструктивизируема.
2. Существует полная разрешимая теория, которая имеет конструктивизируемую, но не сильно конструктивизируемую простую модель.
Библ. 2.
Статья поступила: 13.05.1982
Образец цитирования:
К. Ж. Кудайбергенов, “О конструктивизируемости простой модели”, Сиб. матем. журн., 25:4 (1984), 93–98; Siberian Math. J., 25:4 (1984), 584–588
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6879 https://www.mathnet.ru/rus/smj/v25/i4/p93
|
Статистика просмотров: |
Страница аннотации: | 58 | PDF полного текста: | 25 |
|