More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\)

DOI10.1007/BF02801469zbMath0704.03016MaRDI QIDQ916645

Saharon Shelah

Publication date: 1990

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

zbMATH Keywords

trees; quantifier; first order theory; monadic logic; pressing down functions

Mathematics Subject Classification ID

03C45: Classification theory, stability, and related concepts in model theory

Cites Work

• Unnamed Item
• Notes on monadic logic. Part B: Complexity of linear orders in ZFC
• Monadic logic and Löwenheim numbers
• The monadic theory and the next world
• Second-order quantifiers and the complexity of theories
• There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
• Notes on monadic logic. A: Monadic theory of the real line
• The monadic theory of order
• Classification theory and the number of non-isomorphic models
• More on monadic logic. Part D: A note on addition of theories
• 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