Corollary
Tag 06ZM, permanent. Cite it as [Bourbaki, Tag 06ZM].
Algebra, chapter VI, § 2. Ordered fields
— On a maximal ordered field K there exists only one ordering compatible with the field structure.
Indeed the positive elements of K are determined by its algebraic structure: they are the squares.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.