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

\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.