|
Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2006, Volume 3, Pages 145–152
(Mi semr192)
|
|
|
|
Research papers
Groups of automatic automorphisms of some automatic structures
N. S. Vinokurov Novosibirsk State University
Abstract:
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.
Received April 5, 2006, published April 18, 2006
Citation:
N. S. Vinokurov, “Groups of automatic automorphisms of some automatic structures”, Sib. Èlektron. Mat. Izv., 3 (2006), 145–152
Linking options:
https://www.mathnet.ru/eng/semr192 https://www.mathnet.ru/eng/semr/v3/p145
|
Statistics & downloads: |
Abstract page: | 187 | Full-text PDF : | 49 | References: | 33 |
|