Groups of automatic automorphisms of some automatic structures

MaRDI QIDQ2371239zbMATH OpenFDO

Authors N. S. Vinokurov

Publication date 2 July 2007

Published in Sibirskie Elektronnye 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

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

Recommendations

• Undecidability of automorphism groups
• Automatic Structures: Richness and Limitations
• The additive group of the rationals does not have an automatic presentation
• Automatic structures and groups
• Finite presentations of infinite structures: Automata and interpretations

Cited in

(12)

• On the automormphism group of a second order structure
• Automatic structures and groups
• Is Cantor's theorem automatic?
• scientific article; zbMATH DE number 3976380 (Why is no real title available?)
• scientific article; zbMATH DE number 67431 (Why is no real title available?)
• Automorphism groups of models of first order theories
• The additive group of the rationals does not have an automatic presentation
• Typical automorphism groups of finite nonrigid structures
• A non-Hopfian automatic group
• scientific article; zbMATH DE number 1873433 (Why is no real title available?)
• scientific article; zbMATH DE number 2128175 (Why is no real title available?)
• Automorphism groups of combinatorial structures

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2371239)