Is Cantor's theorem automatic?

zbMATH Open1273.03124MaRDI QIDQ3408148FDOQ3408148

Authors: Dietrich Kuske 

Publication date: 24 February 2010

Recommendations

• Invariants of Automatic Presentations and Semi-synchronous Transductions
• Automatic Structures: Richness and Limitations
• Groups of automatic automorphisms of some automatic structures
• Autostability of automatic representations of well-orders and lower-rank linear orders
• The additive group of the rationals does not have an automatic presentation

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Computable structure theory, computable model theory (03C57) Total orders (06A05)

Cited In (6)

• Invariants of Automatic Presentations and Semi-synchronous Transductions
• Where automatic structures benefit from weighted automata
• The isomorphism problem for tree-automatic ordinals with addition
• Is Ramsey's theorem omega-automatic?
• The additive group of the rationals does not have an automatic presentation
• Learners based on transducers

This page was built for publication: Is Cantor's theorem automatic?

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