Ordered Fields
摘要
Chapter 1 introduces ordered fields and their real closures. The Tarski–Seidenberg theorem is proved and used to present Artin’s solution to Hilbert’s 17th problem. In addition, a proof of the Artin–Lang theorem is given, which characterizes real varieties whose function field can be ordered.