RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 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.

УДК: 510.51+519.716.35

MSC: 03D05, 03D45, 03C57

Поступила 5 апреля 2006 г., опубликована 18 апреля 2006 г.



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


© МИАН, 2024