実閉体
Basu, Saugata, Richard Pollack, and Marie-Françoise Roy (2003) "Algorithms in real algebraic geometry" in Algorithms and computation in mathematics. Springer. ISBN 3-540-33098-4 (online version)
Caviness, B F, and Jeremy R. Johnson, eds. (1998) Quantifier elimination and cylindrical algebraic decomposition. Springer. ISBN 3-211-82794-3
Chen Chung Chang and Howard Jerome Keisler (1989) Model Theory. North-Holland.
Erdös, P.; Gillman, L.; Henriksen, M. (1955), “An isomorphism theorem for real-closed fields”, Ann. of Math. 61 (2): 542–554, MR0069161
Mishra, Bhubaneswar (1997) "Computational Real Algebraic Geometry," in Handbook of Discrete and Computational Geometry. CRC Press. 2004 edition, p. 743. ISBN 1-58488-301-4
↑ 実閉体の間の任意の環準同型は自動的に順序を保つことに注意せよ。なんとなれば x ≤ y ⇔ ∃z s.t. y = x + z と書けるから
↑ 連続体仮説を仮定しない場合でさえ、連続体の濃度が אβ ならば、大きさが ηβ の ηβ-体は一意であると言うことはできる。