Peano arithmetic may not be interpretable in the monadic theory of linear orders
From MaRDI portal
Publication:4372909
DOI10.2307/2275575zbMath0888.03033arXivmath/9308219MaRDI 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
03E35: Consistency and independence results
03F30: First-order arithmetic and fragments
03C85: Second- and higher-order model theory
03F25: Relative consistency and interpretations
Related Items
Cites Work