Monadic logic and Löwenheim numbers

DOI10.1016/0168-0072(85)90026-0zbMath0565.03015OpenAlexW2075610001MaRDI QIDQ1058510

Saharon Shelah

Publication date: 1985

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(85)90026-0

zbMATH Keywords

topological spacesstable theorysuperstable theorysecond-order logic\(V=L\)product topologycomplexity of the monadic theory of linear ordersLöwenheim numbermodel-theoretic classification theorymonadic theory of modelsmonadic theory of treesmonadic topologysecond-order quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Classification theory, stability, and related concepts in model theory (03C45) Second- and higher-order model theory (03C85) Other infinitary logic (03C75)

Related Items (6)

Simple monadic theories and partition width ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ Worst-case expansions of complete theories ⋮ 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\) ⋮ Monadic logic and Löwenheim numbers

Cites Work

• Unnamed Item
• Monadic logic and Löwenheim numbers
• The monadic theory and the next world
• Monadic theory of order and topology. II
• The monadic theory of order
• Interpreting second-order logic in the monadic theory of order
• Monadic theory of order and topology in ZFC
• Higher Souslin trees and the generalized continuum hypothesis

This page was built for publication: Monadic logic and Löwenheim numbers