Structures associated with real closed fields and the axiom of choice

zbMATH Open1388.03036arXiv1402.6130MaRDI QIDQ330194FDOQ330194

Authors: Merlin Carl 

Publication date: 25 October 2016

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Abstract: An integer part I of a real closed field K is a discretely ordered subring with minimal element 1 such that, for every x in K, I contains some i such that x is between i and i+1 in the ordering of K. Mourgues and Ressayre showed that every real closed field has an integer part. Their construction implicitely uses the axiom of choice. We show that the axiom of choice is actually necessary to obtain the result by constructing a transitive model of ZF (i.e. set theory without the axiom of choice) which contains a real closed field without an integer part. Then we analyze some cases where the axiom of choice is not necessary for obtaining an integer part. An integer part I of a real closed field K is a discretely ordered subring of K with minimal positive element 1 such that, for every x in K, I contains some i such that x is between i and i+1 in the ordering of K. Mourgues and Ressayre showed that every real closed field has an integer part. Their construction implicitly uses the axiom of choice. We show that the axiom of choice is actually necessary to obtain the result by constructing a transitive model of ZF (i.e. set theory without the axiom of choice) which contains a real closed field without an integer part. Then we analyze some cases where the axiom of choice is not necessary for obtaining an integer part. On the way, we demonstrate that a class of questions containing the question whether the axiom of choice is necessary for the proof of a certain ZFC-theorem is algorithmically undecidable. We further apply the methods to show that it is independent of ZF whether every real closed field has a value group section and a residue field section. This also sheds some light on the possibility to effectivize constructions of integer parts.

Full work available at URL: https://arxiv.org/abs/1402.6130

Recommendations

• Limit computable integer parts
• Real closed fields and models of Peano arithmetic
• Complexity of structures associated with real closed fields
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Zilber's conjecture for some o-minimal structures over the reals
• Open induction and the true theory of rationals
• A construction of real closed fields
• Definable types in -minimal theories
• Real closed fields and IP-sensitivity
• scientific article; zbMATH DE number 38715

zbMATH Keywords

axiom of choiceinteger partreal closed fieldsresidue field sectionvalue group section

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Consistency and independence results (03E35) Set-theoretic model theory (03C55) Axiomatics of classical set theory and its fragments (03E30) Model theory of fields (12L12) Applications of set theory (03E75) General valuation theory for fields (12J20)

Cited In (7)

• Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
• An Intuitionistic Axiomatisation of Real Closed Fields
• Title not available (Why is that?)
• Real closed fields and models of Peano arithmetic
• Complexity of structures associated with real closed fields
• Real closed exponential fields
• Limit computable integer parts

This page was built for publication: Structures associated with real closed fields and the axiom of choice

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