On the strength of the interpretation method

DOI10.2307/2274850zbMath0699.03031OpenAlexW2127214181MaRDI QIDQ3476808

Saharon 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

Peano arithmeticmonadic second-order theory of the real line

Mathematics Subject Classification ID

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

Related Items (7)

Trees, grids, and MSO decidability: from graphs to matroids ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ 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\) ⋮ Peano arithmetic may not be interpretable in the monadic theory of linear orders ⋮ The full binary tree cannot be interpreted in a chain ⋮ Towards a characterization of order-invariant queries over tame graphs

Cites Work

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

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