|
Сибирский математический журнал, 1989, том 30, номер 2, страницы 221–224
(Mi smj3595)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов
А. С. Морозов
Аннотация:
Строится счетно-категоричная разрешимая модель, не имеющая нетривиальных рекурсивных автоморфизмов. Все известные до сих дор примеры разрешимых счетно-категоричных моделей имели много рекурсивных автоморфизмов.
Библиогр. 4.
Статья поступила: 09.12.1986
Образец цитирования:
А. С. Морозов, “Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов”, Сиб. матем. журн., 30:2 (1989), 221–224; Siberian Math. J., 30:2 (1989), 346–348
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3595 https://www.mathnet.ru/rus/smj/v30/i2/p221
|
|