The full binary tree cannot be interpreted in a chain
From MaRDI portal
Publication:3066806
DOI10.2178/jsl/1286198158zbMath1211.03021MaRDI QIDQ3066806
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
monadic second-order logic; decidability; chain; full binary tree; Rabin's interpretation method; Shelah's model-theoretical composition method
03D05: Automata and formal grammars in connection with logical questions
03B25: Decidability of theories and sets of sentences
03C07: Basic properties of first-order languages and structures
Cites Work