PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1999 | 159 | 3 | 231-241
Tytuł artykułu

Ordered fields and the ultrafilter theorem

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Słowa kluczowe
Kategorie tematyczne
Rocznik
Tom
159
Numer
3
Strony
231-241
Opis fizyczny
Daty
wydano
1999
otrzymano
1998-03-03
poprawiono
1998-05-05
Twórcy
autor
  • CNRS-UFR de Mathématiques, Université Paris 7, 2 Place Jussieu, Case 7012, F-75251 Paris Cedex 05, France, delon@logique.jussieu.fr
autor
Bibliografia
  • [1] E. Artin, Über die Zerlegung definiter Funktionen in Quadrate, Abh. Math. Sem. Univ. Hamburg 5 (1927), 100-115.
  • [2] E. Artin, Schreier, O. Algebraische Konstruktion reeller Körper, ibid., 85-99.
  • [3] T. Jech, The Axiom of Choice, North-Holland, 1973.
  • [4] H. Lombardi and M.-F. Roy, Constructive elementary theory of ordered fields, in: Effective Methods in Algebraic Geometry, Progr. Math. 94, Birkhäuser, 1991, 249-262.
  • [5] T. Sander, Existence and uniqueness of the real closure of an ordered field without Zorn's Lemma, J. Pure Appl. Algebra 73 (1991), 165-180.
  • [6] A. Tarski, Prime ideal theorems for set algebras and ordering principles, preliminary report, Bull. Amer. Math. Soc. 60 (1954), 391.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-fmv159i3p231bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.