Isomorphisms of scattered automatic linear orders

DOI10.4230/LIPICS.CSL.2012.455MaRDI QIDQ4649565zbMATH OpenOpenAlexFDO

Authors Dietrich Kuske

Publication date 22 November 2012

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2012/3690/

zbMATH Keywords

automatic structuresautomorphismisomorphism

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Isomorphisms of scattered automatic linear orders
• Tree-automatic scattered linear orders
• Word automaticity of tree automatic scattered linear orderings is decidable
• Automatic linear orders and trees
• The isomorphism problem on classes of automatic structures with transitive relations

Cited in

(5)

• Isomorphisms of scattered automatic linear orders
• Tree-automatic scattered linear orders
• The isomorphism problem on classes of automatic structures with transitive relations
• Word automaticity of tree automatic scattered linear orderings is decidable
• Equimorphism invariants for scattered linear orderings

This page was built for publication: Isomorphisms of scattered automatic linear orders

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