Artin-Schreier ordering criterion (source code)

= Artin-Schreier ordering criterion
{c}

A <field> can be ordered compatibly with addition and multiplication if and only if it is a <formally real field>. This ordering criterion concerns real algebra, and is different from <Artin–Schreier theory> of cyclic extensions in positive characteristic.