RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 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.

UDC: 510.51+519.716.35

MSC: 03D05, 03D45, 03C57

Received April 5, 2006, published April 18, 2006



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024