On the elimination of Malitz quantifiers over Archimedian real closed fields (Q584248)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the elimination of Malitz quantifiers over Archimedian real closed fields
scientific article

    Statements

    On the elimination of Malitz quantifiers over Archimedian real closed fields (English)
    0 references
    0 references
    1989
    0 references
    \textit{A. Rapp} [J. Symb. Logic 50, 380-389 (1985; Zbl 0582.03006)] proves that the theory of the field \({\mathbb{R}}\) of reals in the language with Magidor-Malitz quantifiers \(Q^ 1_ 1,Q^ 2_ 1,..\). is decidable. Using Tarski's classical result on real closed fields, Rapp's theorem is shown by proving that the quantifiers \(Q^ 1_ 1,Q^ 2_ 1,..\). are effectively eliminable over \({\mathbb{R}}\). \textit{G. Bürger} [``The Magidor- Malitz quantifiers over the class of Archimedian real closed fields'' (to appear)] addresses the question whether Rapp's methods can be applied to the class of all uncountable archimedian real closed fields (ARCF). Up to isomorphism this is the class of real closed subfields of \({\mathbb{R}}\). Bürger shows that the uniform eliminability of \(Q^ n_ 1\), for \(n\geq 3\), is independent of ZFC. In particular, the continuum hypothesis CH implies the existence of a counterexample to the eliminability of \(Q^ 3_ 1.\) In view of these results it seems natural to consider models of \(\neg CH\), and study the uniform eliminability of \(Q^ 3_{\alpha},Q^ 4_{\alpha},..\). where \(2^{\omega}=card({\mathbb{R}})=\omega_{\alpha}\). Here we assume that whenever we talk about the quantifier \(Q^ n_{\alpha}\), only fields of cardinality \(\geq \omega_{\alpha}\) are considered. We show that again eliminability is independent of \(ZFC+\neg CH:\) Theorem. Assume \(ZFC+CH\), and let \(\kappa =\omega_{\alpha}>\omega_ 1\) be regular. Let V[G] be a generic extension of V by a \(\sigma\)-product of \(\kappa\) Sacks (perfect set) forcings. Then \(V[G]\vDash 2^{\omega}=\omega_{\alpha}\), and, in V[G], the quantifiers \(Q^ n_{\alpha}\), \(n\geq 3\), are uniformly eliminable over ARCF.
    0 references
    archimedian real closed fields
    0 references
    continuum hypothesis
    0 references
    uniform eliminability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references