Existence and uniqueness of the real closure of an ordered field without Zorn's Lemma

Tomas Sander

Type: Article

Publication Date: 1991-08-01

Citations: 9

DOI: https://doi.org/10.1016/0022-4049(91)90110-n

View

Locations

Journal of Pure and Applied Algebra - View

Similar Works

Action	Title	Year	Authors
+	Real algebraic closure of an ordered field	1992	Renaud Rioboo
+	Ordered Fields and Their Real Closures	2022	Manfred Knebusch Claus Scheiderer
+ PDF Chat	A nullstellensatz for ordered fields	1970	Diane Dubois
+ PDF Chat	First-Order Continuous Induction and a Logical Study of Real Closed Fields	2019	Saeed Salehi Mohammadsaleh Zarza
+	A note on computable real fields	1970	E. W. Madison
+	Orders and Order Closures for Not Necessarily Formally Real Fields	1994	Ronald Brown
+	A construction of real closed fields	2015	Yuichi Tanaka Akito Tsuboi
+	Real Analysis in Reverse	2012	James Propp
+	Real Analysis in Reverse	2012	James Propp
+	Real Analysis in Reverse	2013	James Propp
+	Effective real Nullstellensatz and variants	1991	Henri Lombardi
+	Ordered fields dense in their real closure and definable convex valuations	2020	Lothar Sebastian Krapp Salma Kuhlmann Gabriel Lehéricy
+ PDF Chat	Structures Associated with Real Closed Fields and the Axiom of Choice	2016	Merlin Carl
+	Structures Associated with Real Closed Fields and the Axiom of Choice	2014	Merlin Carl
+	Structures Associated with Real Closed Fields and the Axiom of Choice	2014	Merlin Carl
+ PDF Chat	Ordered fields dense in their real closure and definable convex valuations	2021	Lothar Sebastian Krapp Salma Kuhlmann Gabriel Lehéricy
+ PDF Chat	A real nullstellensatz and positivstellensatz for the semi- polynomials over an ordered field	1993	Laureano González-Vega Henri Lombardi
+ PDF Chat	An Isomorphism Theorem for Real-Closed Fields	1955	Paul Erdös Leonard Gillman Melvin Henriksen
+	Real Fields	2002	Serge Lang
+	Ordered Fields, the Purge of Infinitesimals from Mathematics and the Rigorousness of Infinitesimal Calculus	2015	James F. Hall Тодор Д. Тодоров

Cited by (9)

Action	Title	Year	Authors
+	Commutative Algebra: Constructive Methods : Finite Projective Modules	2015	Henri Lombardi Claude Quitt�
+	Equations for formally real meadows	2015	J.A. Bergstra Inge Bethke Alban Ponse
+	Unstable homotopy classification of	1996	John Martino Stewart Priddy
+ PDF Chat	Scheiderer motives and equivariant higher topos theory	2021	Elden Elmanto Jay Shah
+	Construction du hensélisé d'un corps valué	2000	Franz‐Viktor Kuhlmann Henri Lombardi
+ PDF Chat	Algèbre commutative. Méthodes constructives	2011	Henri Lombardi Claude Quitté
+	The Ubiquitous Axiom	2021	Victor Pambuccian Celia Schacht
+ PDF Chat	Ordered fields and the ultrafilter theorem	1999	Ralph Berr F. Delon Joyce Schmid
+ PDF Chat	Structures Associated with Real Closed Fields and the Axiom of Choice	2016	Merlin Carl

Citing (9)

Action	Title	Year	Authors
+ PDF Chat	Lectures on Formally Real Fields	1984	Alexander Prestel
+	Auswahlaxiom in der Algebra	1962	H. Läuchli
+	Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods	1972	David Pincus
+	Complexity of computation on real algebraic numbers	1990	Marie-Françoise Roy Aviva Szpirglas
+	Elementary constructive theory of ordered fields	1991	Henri Lombardi Marie-Françoise Roy
+ PDF Chat	Spécialisation de la suite de Sturm et sous-résultants (I)	1990	Laureano González-Vega Henri Lombardi Tomás Recio Marie-Françoise Roy
+ PDF Chat	Auswahlaxiom in der Algebra	1962	H. Läuchli
+	Géométrie algébrique réelle	1987	Jacek Bochnak Michel Coste M-F Roy
+	Mengenlehre für den Mathematiker	1985	Ulf Friedrichsdorf Alexander Prestel