RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив
Сиб. матем. журн., 1989, том 30, номер 2, страницы 221–224 (Mi smj3595)
Эта публикация цитируется в 4 статьях

Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов

А. С. Морозов


Аннотация: Строится счетно-категоричная разрешимая модель, не имеющая нетривиальных рекурсивных автоморфизмов. Все известные до сих дор примеры разрешимых счетно-категоричных моделей имели много рекурсивных автоморфизмов.
Библиогр. 4.

УДК: 510.5

Статья поступила: 09.12.1986


 Англоязычная версия: Siberian Mathematical Journal, 1989, 30:2, 346–348

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

© МИАН, 2024