The monadic theory of ω2
From MaRDI portal
Publication:3342531
DOI10.2307/2273556zbMath0549.03010MaRDI QIDQ3342531
Saharon Shelah, Menachem Magidor, Yuri Gurevich
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273556
forcing; models of set theory; weakly compact cardinal; ordinals; monadic second order theory; countable model of ZFC
03B25: Decidability of theories and sets of sentences
03E35: Consistency and independence results
03C55: Set-theoretic model theory
Related Items
Monadic partition logics and finite automata, The monadic theory of \((\omega{}_ 2,<)\) may be complicated