Structures associated with real closed fields and the axiom of choice (Q330194)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Structures associated with real closed fields and the axiom of choice |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Structures associated with real closed fields and the axiom of choice |
scientific article |
Statements
Structures associated with real closed fields and the axiom of choice (English)
0 references
25 October 2016
0 references
Let \(K\) be a real closed field (RCF). A discretely ordered subring \(I\) of \(K\) is an integer part of \(K\) if and only if 1 is the minimal positive element of \(I\) and for every \(x\in K\) there is an \(i\in I\) with \(i\leq x<i+1\). \textit{M. H. Mourgues} and \textit{J. P. Ressayre} [J. Symb. Log. 58, No. 2, 641--647 (1993; Zbl 0786.12005)] used a Zorn's lemma argument to show that every RCF has an integer part. They also used the same non-constructive methods to produce other structures associated with RCFs: namely, value group sections and residue field sections. The author of this article shows that the three structures mentioned above all require non-constructive methods. In particular, he constructs transitive models of ZF containing an RCF \(K\), but no integer part. He also constructs models containing RCFs without value group sections and residue field sections. With regard to integer parts, the author gives extra conditions on RCFs that guarantee the existence of integer parts in ZF. The author strengthens his results and obtains others by proving the following theorem: Let \(T\) be a countable, consistent o-minimal theory. Then there is a transitive model \(N\) of ZF such that \(N\) contains a model \(\hat{M}\models T\) with no unbounded discrete subset.
0 references
axiom of choice
0 references
real closed fields
0 references
integer part
0 references
residue field section
0 references
value group section
0 references
0 references
0.78276557
0 references
0.74883646
0 references
0.70768094
0 references
0.7023124
0 references
0.70097715
0 references
0 references
0 references