Real closed fields

Real closed fields
Name	Real closed fields
Type	Field
Characteristic	0 or 2?

Real closed fields Real closed fields are ordered fields that are maximal with respect to admitting an order compatible with field operations, and they play a central role in algebra, geometry, and logic. Introduced through the work of David Hilbert, Emil Artin, and Emmy Noether among others, these structures connect to classical results by Arthur Cayley, Richard Dedekind, and Leopold Kronecker. Real closed fields underpin modern treatments in areas influenced by Andrei Kolmogorov, Tarski, and Abraham Robinson.

Definition and basic properties

A real closed field is a field F equipped with an ordering ≤ making F an ordered field so that every positive element is a square and every odd-degree polynomial over F has a root; equivalent algebraic characterizations were developed by Emil Artin and Theodor Schreier. Key properties include the intermediate value style behavior formalized in the algebraic context by David Hilbert and the relation to sums of squares studied by Hilbert's seventeenth problem proponents like Emil Artin and Helmut Hasse. The classification of real closed fields relies on the theory of algebraic extensions from Richard Dedekind and Galois considerations from Évariste Galois and Niels Henrik Abel. Important invariants such as formal realness and Pythagorean closures were studied in work connected to Kurt Mahler and Otto Schilling.

Examples and constructions

Standard examples include the field of real numbers associated with Georg Cantor and Richard Dedekind via constructions by Dedekind cuts and Cauchy completions, and the field of real algebraic numbers connected to Carl Friedrich Gauss and Leopold Kronecker via algebraic closure operations. Non-Archimedean examples arise in places influenced by Abraham Robinson's development of nonstandard analysis and ultraproduct constructions attributed to Jerzy Łoś and Alfred Tarski. Hahn series fields and Puiseux series fields show constructions leveraging valuation theory as studied by Oscar Zariski and Pierre Samuel, while generalized power series tie to work by Heinrich Behnke and Kurt Weierstrass. Other explicit constructions connect to valuation-theoretic methods by Alexander Ostrowski and model-theoretic ultraproducts employing techniques from Saharon Shelah.

Order and algebraic closures

The interplay between orderings and algebraic closures is governed by Artin–Schreier theory developed by Emil Artin and Otto Schreier, with extensions related to classical algebraic topics from Évariste Galois and Niels Henrik Abel. A real closed field has a unique algebraic closure which is a degree-two extension obtained by adjoining a square root of −1, reflecting ideas connected to Carl Friedrich Gauss and William Rowan Hamilton. The space of orderings for fields and abstract real places was advanced by Marshall Hall Jr. and R. J. B. Bosworth, while signatures and Witt groups linked to quadratic forms were investigated by Ernst Witt and Marcel Frobenius.

Model theory and decidability

Tarski's quantifier elimination for real closed fields established decidability results attributed to Alfred Tarski and expanded by work of Alfred Tarski's collaborators including Julia Robinson and Michael O. Rabin. Model-theoretic stability and o-minimality perspectives relate to research by Lou van den Dries, Alex Wilkie, and Yuri Manin in real algebraic geometry contexts influenced by David Mumford and Alexander Grothendieck. Decidability links to algorithmic developments by Stephen A. Cook and Richard M. Karp in complexity theory, and effective quantifier elimination methods draw on computational algebra from David Cox, John Little, and Donal O'Shea. Connections to nonstandard methods use frameworks developed by Abraham Robinson and later adaptations by H. Jerome Keisler.

Real closures and extensions

Every formally real field admits real closures, a concept traced to foundational algebra by Emil Artin and Theodor Schreier; the existence and uniqueness (up to F-isomorphism fixing orderings) tie back to classical extension theory by Richard Dedekind and Emil Artin. Real closure constructions employ Zorn's lemma as formulated by Ernst Zermelo and refined in set-theoretic contexts by John von Neumann, while explicit algebraic closures and splitting fields trace to methods of Niels Henrik Abel and Évariste Galois. Ordered field extensions appear in studies by Harry Vandiver and valuation-sensitive extensions were developed in the work of Oscar Zariski and Pierre Samuel.

Applications and connections to other areas

Real closed fields appear in real algebraic geometry explored by Bernhard Riemann-inspired developments attributed to David Hilbert and Oscar Zariski, optimization theories influenced by J. J. Sylvester and Harold W. Kuhn, and control theory linked to contributions from Richard Bellman and Lotfi Zadeh. They underpin semialgebraic set theory advanced by René Thom and André Weil, and they feature in computational real algebra linked to work by Bernd Sturmfels and Jean-Jacques Sylvester; applications to signal processing and systems theory trace to Claude Shannon and Norbert Wiener. Model-theoretic applications connect to o-minimality results by Lou van den Dries and Alex Wilkie, while Diophantine questions and Hilbert-type problems involve methods by Gerd Faltings and Yuri Matiyasevich.

Category:Algebraic number theory