Theory of real closed fields
= Theory of real closed fields
{c}
{title2=$\mathrm{RCF}$}
{wiki=Real_closed_field}
The theory of real closed fields is complete and model-complete. In the language of ordered rings it eliminates quantifiers; in the pure language of rings its definable order prevents quantifier elimination.