Peano arithmetic may not be interpretable in the monadic theory of linear orders

DOI10.2307/2275575zbMath0888.03033arXivmath/9308219OpenAlexW2122146934MaRDI QIDQ4372909

Saharon Shelah, Shmuel Lifsches

Publication date: 10 May 1998

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

Full work available at URL: https://arxiv.org/abs/math/9308219

zbMATH Keywords

consistencyZFCPeano arithmeticinterpretationmonadic theory of linear orders

Mathematics Subject Classification ID

Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Second- and higher-order model theory (03C85) Relative consistency and interpretations (03F25)

Related Items (1)

The full binary tree cannot be interpreted in a chain

Cites Work

• The monadic theory and the next world
• Second-order quantifiers and the complexity of theories
• The monadic theory of order
• Interpreting second-order logic in the monadic theory of order
• On the strength of the interpretation method
• Monadic theory of order and topology in ZFC

This page was built for publication: Peano arithmetic may not be interpretable in the monadic theory of linear orders