Archive for Mathematical Logic

, Volume 51, Issue 7–8, pp 739–749 | Cite as

Some consequences of Rado’s selection lemma



We prove in set theory without the Axiom of Choice, that Rado’s selection lemma (\({\mathbf{RL}}\)) implies the Hahn-Banach axiom. We also prove that \({\mathbf{RL}}\) is equivalent to several consequences of the Tychonov theorem for compact Hausdorff spaces: in particular, \({\mathbf{RL}}\) implies that every filter on a well orderable set is included in a ultrafilter. In set theory with atoms, the “Multiple Choice” axiom implies \({\mathbf{RL}}\) .


Axiom of choice Product topology Compactness Rado’s selection lemma Hahn-Banach 

Mathematics Subject Classification (2000)

Primary 03E25 Secondary 54B10 46A22 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gottschalk W.H.: Choice functions and Tychonoff’s theorem. Proc. Am. Math. Soc. 2, 172 (1951)MathSciNetMATHGoogle Scholar
  2. 2.
    Halpern, J.D., Lévy, A.: The Boolean prime ideal theorem does not imply the axiom of choice. In: Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967), pp. 83–134. American Mathematical Society, Providence (1971)Google Scholar
  3. 3.
    Howard P., Rubin J.E.: Consequences of the Axiom of Choice. American Mathematical Society, Providence (1998)MATHGoogle Scholar
  4. 4.
    Howard P.E.: Rado’s selection lemma does not imply the Boolean prime ideal theorem. Z. Math. Logik Grundlag. Math. 30(2), 129–132 (1984)MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Jech T.J.: The Axiom of Choice. North-Holland Publishing Co., Amsterdam (1973)MATHGoogle Scholar
  6. 6.
    Luxemburg, W.A.J.: Reduced powers of the real number system and equivalents of the Hahn-Banach extension theorem. In: Applications of Model Theory to Algebra, Analysis, and Probability (Internat. Sympos., Pasadena, Calif., 1967), pp. 123–137. Holt, Rinehart and Winston, New York (1969)Google Scholar
  7. 7.
    Pincus, D. The strength of the Hahn-Banach theorem. In: Victoria Symposium on Nonstandard Analysis (Univ. Victoria, Victoria, B.C., 1972). Lecture Notes in Math., Vol. 369, pp. 203–248. Springer, Berlin (1974)Google Scholar
  8. 8.
    Pincus D., Solovay R.M.: Definability of measures and ultrafilters. J. Symb. Log. 42, 179–190 (1977)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Rado R.: Axiomatic treatment of rank in infinite sets. Can. J. Math. 1, 337–343 (1949)MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    Rice N.M.: A general selection principle, with applications in analysis and algebra. Can. Math. Bull. 11, 573–584 (1968)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag 2012

Authors and Affiliations

  1. 1.ERMIT, Département de Mathématiques et InformatiqueUniversité de La RéunionSainte-ClotildeFrance

Personalised recommendations