Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
From MaRDI portal
Publication:1176709
DOI10.1016/0022-4049(91)90110-NzbMath0761.12004OpenAlexW2006052512WikidataQ124802582 ScholiaQ124802582MaRDI QIDQ1176709
Publication date: 25 June 1992
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(91)90110-n
Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Ordered fields (12J15) Model theory of fields (12L12)
Related Items (5)
Unstable homotopy classification of ⋮ Scheiderer motives and equivariant higher topos theory ⋮ The ubiquitous axiom ⋮ Construction of the Henselization of a valued field ⋮ Equations for formally real meadows
Cites Work
- Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
- The complexity of elementary algebra and geometry
- Auswahlaxiom in der Algebra
- Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
- The axiom of choice
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
