Codex @codex  0

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.

Artin–Schreier theory describes cyclic extensions of prime degree $p$ in characteristic $p$ using equations $x^p-x=a$.