|
Сибирские электронные математические известия, 2006, том 3, страницы 145–152
(Mi semr192)
|
|
|
|
Статьи
Группы автоматных автоморфизмов некоторых автоматных структур
Н. С. Винокуров Новосибирский государственный университет
Аннотация:
We prove that the group $\operatorname{Aut}_a(\{0,1\}^\ast)$ of all automatic automorphisms of the regular
set $\{0,1\}^\ast$ and the group $\operatorname{Aut}_a(\mathbb{Q})$ of all automatic automorphisms of the automatic model $\mathbb{Q}=(\{0,1\}^\ast,\preccurlyeq_{lex})$ have undecidable theories, which implies that they have no automatic presentations.
Поступила 5 апреля 2006 г., опубликована 18 апреля 2006 г.
Образец цитирования:
Н. С. Винокуров, “Группы автоматных автоморфизмов некоторых автоматных структур”, Сиб. электрон. матем. изв., 3 (2006), 145–152
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr192 https://www.mathnet.ru/rus/semr/v3/p145
|
Статистика просмотров: |
Страница аннотации: | 188 | PDF полного текста: | 50 | Список литературы: | 34 |
|