Ordered fields and the ultrafilter theorem
Tom 159 / 1999
Fundamenta Mathematicae 159 (1999), 231-241
DOI: 10.4064/fm-159-3-231-241
Streszczenie
We prove that on the basis of ZF the ultrafilter theorem and the theorem of Artin-Schreier are equivalent. The latter says that every formally real field admits a total order.
