An ordered field is said to be **real-closed** if it satisfies one of the following equivalent conditions:

- is algebraically closed.
- Every positive element of has a square root, and every odd-degree polynomial has a zero.
- is elementarily equivalent to , the reals.
- satisfies a version of the intermediate value theorem: if a polynomial changes sign on an interval, i.e., for some , then has a zero on the interval, i.e., for some .
- is o-minimal.

The prototypical example of a real-closed field is . Other notable examples include Puiseux series in , Hahn series in , and the surreal numbers.

The ordering on a real closed field can be algebraically defined: if and only if is a square. Real closed fields are uniquely orderable, so it makes sense to say that a pure field is real closed.

The Artin-Schreier theorem (?) says that if is a field with finite absolute Galois group, then either is algebraically closed, or is real closed (and hence of characteristic zero). So the real closed fields can also be described as those pure fields with finite but non-trivial absolute Galois group.

The class of real closed fields is an elementary class, i.e., the set of models of some theory. This theory is usually denoted **RCF**. Unlike the case of ACF, RCF is complete. One usually works in one of two languages:

- The language of rings. In this case, RCF is model complete, but does not have quantifier elimination. In fact, is not equivalent to a quantifier-free formula.
- The language of ordered rings, i.e., the language of rings together with a binary predicate for the order. In this language, RCF has quantifier elimination.

The theory RCF is the model companion of ordered fields, or more generally ordered domains. In the pure ring language, it is also the model companion of the theory of *orderable* fields, i.e., fields admitting at least one ordering. (These turn out to be exactly the fields in which is not a sum of squares.)

RCF is o-minimal, and therefore NIP. On the other hand, RCF (obviously) has the strong order property, so it is not stable, or simple.

RCF has elimination of imaginaries, as does every o-minimal expansion of RCF. In fact, RCF and its o-minimal expansions all have definable choice: if is a formula, then there is a formula such that for every , if is non-empty, then is a singleton in . In particular, RCF and its o-minimal expansions have definable Skolem functions. Every definably closed set is a model. ::: ::: :::