Ordered fields and the ultrafilter theorem

Tom 159 / 1999

R. Berr, F. Delon, J. Schmid 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.

Autorzy

  • R. Berr
  • F. Delon
  • J. Schmid

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek