The full binary tree cannot be interpreted in a chain

DOI10.2178/jsl/1286198158zbMath1211.03021OpenAlexW2034349453MaRDI QIDQ3066806

Alexander Rabinovich

Publication date: 12 January 2011

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1286198158

zbMATH Keywords

monadic second-order logicdecidabilitychainfull binary treeRabin's interpretation methodShelah's model-theoretical composition method

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

Cites Work

• Unnamed Item
• The monadic second order theory of all countable ordinals
• The monadic theory of order
• Random graphs in the monadic theory of order
• The monadic theory of ω₂
• On the strength of the interpretation method
• Peano arithmetic may not be interpretable in the monadic theory of linear orders

This page was built for publication: The full binary tree cannot be interpreted in a chain