Monadic theory of order and topology in ZFC
From MaRDI portal
Publication:3663256
DOI10.1016/0003-4843(82)90004-3zbMath0516.03007OpenAlexW1981741900MaRDI QIDQ3663256
Publication date: 1982
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(82)90004-3
CHZFCperfect setmonadic theoryfirst order arithmeticmetrizable spacescountable chainsmodest chainsmonadic topological languageundecidability result
Descriptive set theory (03E15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85)
Related Items (17)
Trees, grids, and MSO decidability: from graphs to matroids ⋮ The expressive power of Malitz quantifiers for linear orderings ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ The expressive power of second-order propositional modal logic ⋮ Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations ⋮ The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic ⋮ 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 ⋮ Sacks forcing, Laver forcing, and Martin's axiom ⋮ CONTINUOUS RAMSEY THEORY ON POLISH SPACES AND COVERING THE PLANE BY FUNCTIONS ⋮ AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS ⋮ Monadic logic and Löwenheim numbers ⋮ The monadic theory and the next world ⋮ Definability and undefinability with real order at the background ⋮ The structure of the models of decidable monadic theories of graphs
This page was built for publication: Monadic theory of order and topology in ZFC
