Definition 4

Tag 06ZH, permanent. Cite it as [Bourbaki, Tag 06ZH].

Algebra, chapter VI, § 2. Ordered fields

— An ordered field K is maximal if every ordered algebraic extension of K is trivial.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.