On the strength of the interpretation method

DOI10.2307/2274850MaRDI QIDQ3476808zbMATH OpenOpenAlexFDO

Authors S. Shelah, Yuri Gurevich

Publication date 1989

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

Full work available at URL https://doi.org/10.2307/2274850

zbMATH Keywords

monadic second-order theory of the real linePeano arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• Peano arithmetic may not be interpretable in the monadic theory of linear orders
• scientific article; zbMATH DE number 440479
• scientific article; zbMATH DE number 517082
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
• Realization of analysis into Explicit Mathematics

Cites work

• Modest theory of short chains. I
• The monadic theory and the next world
• The monadic theory of order

Cited in

(7)

• Notes on monadic logic. A: Monadic theory of the real line
• The full binary tree cannot be interpreted in a chain
• Towards a characterization of order-invariant queries over tame graphs
• Peano arithmetic may not be interpretable in the monadic theory of linear orders
• Trees, grids, and MSO decidability: from graphs to matroids
• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\)

This page was built for publication: On the strength of the interpretation method

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