Groups of automatic automorphisms of some automatic structures

zbMath1122.03037MaRDI QIDQ2371239

N. S. Vinokurov

Publication date: 2 July 2007

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/53475

zbMATH Keywords

rational numberscomputable automorphismautomatic theoremquotients of automorphism groups

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Automata and formal grammars in connection with logical questions (03D05) Representations of groups as automorphism groups of algebraic systems (20F29) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Groups of automatic automorphisms of some automatic structures