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

DOI10.2307/2275575MaRDI QIDQ4372909zbMATH OpenOpenAlexFDO

Authors Shmuel Lifsches, S. Shelah

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

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)

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.

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

Cites work

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

Cited in

(4)

• The full binary tree cannot be interpreted in a chain
• Random graphs in the monadic theory of order
• 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)