|
Сибирский математический журнал, 1986, том 27, номер 1, страницы 180–182
(Mi smj7106)
|
|
|
|
Отдел заметок
Об эффективно однородных моделях
К. Ж. Кудайбергенов г. Алма-Ата
Аннотация:
Доказана следующая теорема: существует однородная сильно конструктивизируемая модель, имеющая континуум автоморфизмов, но не имеющая ни в какой конструктивизации рекурсивных автоморфизмов, отличных от тождественного. В частности, эта модель не эффективно-однородна ни в какой конструктивизации.
Библиогр. 2.
Статья поступила: 07.06.1984
Образец цитирования:
К. Ж. Кудайбергенов, “Об эффективно однородных моделях”, Сиб. матем. журн., 27:1 (1986), 180–182
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7106 https://www.mathnet.ru/rus/smj/v27/i1/p180
|
|