Notes on monadic logic. A: Monadic theory of the real line

DOI10.1007/BF02778038zbMath0664.03034MaRDI QIDQ1115431

Saharon Shelah

Publication date: 1988

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

zbMATH Keywords

Cohen extension of the universemonadic theory of non-modest short chainmonadic theory of the real linesecond-order theory of the continuum

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62)

Related Items (2)

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\)

Cites Work

• Unnamed Item
• Monadic logic and Löwenheim numbers
• The monadic theory and the next world
• Second-order quantifiers and the complexity of theories
• Around classification theory of models
• There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
• Monadic theory of order and topology. II
• The monadic theory of order
• The monadic theory of ω₂
• Interpreting second-order logic in the monadic theory of order
• On the strength of the interpretation method
• Monadic theory of order and topology in ZFC
• The decision problem for branching time logic
• Modest theory of short chains. II

This page was built for publication: Notes on monadic logic. A: Monadic theory of the real line