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

DOI10.2307/2275575zbMATH Open0888.03033arXivmath/9308219OpenAlexW2122146934MaRDI QIDQ4372909FDOQ4372909

Authors: Shmuel Lifsches, S. Shelah 

Publication date: 10 May 1998

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

Abstract: Gurevich and Shelah have shown that Peano Arithmetic cannot be interpreted in the monadic second-order theory of short chains (hence, in the monadic second-order theory of the real line). We show here that it is consistent that there is no interpretation even in the monadic second-order theory of all chains.

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

Recommendations

• On the strength of the interpretation method
• Random graphs in the monadic theory of order
• scientific article; zbMATH DE number 3997781
• The interpretability logic of Peano arithmetic

zbMATH Keywords

consistencyinterpretationPeano arithmeticZFCmonadic theory of linear orders

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• The full binary tree cannot be interpreted in a chain
• On the strength of the interpretation method
• Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order

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

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