Abstract

For the classA of uncountable Archimedian real closed fields we show that the statement “TheL <ω-theory ofA is complete” is independent of ZFC. In particular we have the following results:Assuming the Continuum-Hypothesis (CH) is incomplete. Conversely it is possible to build a model of set theory in which is complete and decidable. The latter can also be deduced from the Proper Forcing Axiom (PFA). In this case turns out to be equivalent to the elementary theory of the real numbers ℝ (by a quantifier-elimination procedure).Formally: is incomplete. is complete and decidable