The monadic theory of (_ 2,<) may be complicated

DOI10.1007/BF01269949MaRDI QIDQ1190619zbMATH OpenFDO

Authors Shmuel Lifsches, S. Shelah

Publication date 26 September 1992

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01269949

zbMATH Keywords

forcingGCHgeneric extensionhigher-order logicmonadic language of ordermonadic theory

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Review text

It would be an ill-posed problem to ask for a characterization of those sets \(B\subseteq\omega\) which are recursive is the monadic theory of \((\omega_ 2,\leq)\). In fact, a classical result of \textit{Y. Gurevich, M. Magidor} and \textit{S. Shelah} [J. Symb. Log. 48, 387-398 (1983; Zbl 0549.03010)] states that under the assumption of the existence of a weakly compact cardinal in the universe \(V\) of set theory, for every subset \(B\) of \(\omega\) there is a generic extension \(W\) of \(V\) in which \(B\) is recursive in the monadic theory of \((\omega_ 2,\leq)\). Of course \(W\) depends on \(B\). In the present paper the same conclusion is obtained without the assumption of the existence of large cardinals. More precisely, the following main theorem is proved. There is a set of sentences \(\{\theta_ n; n\in\omega\}\) in the monadic language of order such that: if \(V\) satisfies the GCH, then for each \(B\subseteq\omega\) there exists a forcing notion \(P\) which is \(\omega_ 1\)-closed, satisfies the \(\omega_ 3\)-chain condition, preserves cardinals, cofinalities and the GCH, \(| P|=\aleph_ 3\), such that \(P\) forces \(B=\{n; (\omega_ 2,\leq)\models\theta_ n\}\).

Recommendations

• The monadic theory of ω₂
• Provident sets and rudimentary set forcing
• Where do sets come from?
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• Continuous relations and generalized G_δ sets
• Definability and forcing in E-recursion.
• AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2
• Uncountable cardinals have the same monadic ∀₁¹positive theory over large sets
• Interpreting second-order logic in the monadic theory of order
• scientific article; zbMATH DE number 4010510

Cites work

• Diamonds, uniformization
• The monadic theory of ω₂
• The monadic theory of order
• The uniformization property for \(chi_ 2\).
• Whitehead groups may be not free, even assuming CH. I

Cited in

(6)

• The monadic theory and the next world
• Notes on monadic logic. A: Monadic theory of the real line
• Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations
• The monadic theory of ω₂
• AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2
• Uncountable cardinals have the same monadic ∀₁¹positive theory over large sets

This page was built for publication: The monadic theory of \((\omega{}_ 2,<)\) may be complicated

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190619)