The monadic theory and the next world

DOI10.1007/BF02760646zbMath0575.03028MaRDI QIDQ1063588

Yuri Gurevich, Saharon Shelah

Publication date: 1984

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

topological spacereal lineBoolean-valued modelinterpretation theoremsecond-order theoriesvicinity spaces

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Second- and higher-order model theory (03C85)

Related Items (8)

Trees, grids, and MSO decidability: from graphs to matroids ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ On the strength of the interpretation method ⋮ Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations ⋮ 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 ⋮ Monadic logic and Löwenheim numbers

Cites Work

• Unnamed Item
• Monadic theory of order and topology. II
• The monadic theory of order
• Monadic theory of order and topology, I
• Monadic theory of order and topology in ZFC
• Modest theory of short chains. II

This page was built for publication: The monadic theory and the next world