The strength of the Hahn-Banach theorem

  • David Pincus
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 369)


Boolean Algebra Choice Function Linear Extension Order Type Countable Subset 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. L. Bell and D. H. Fremlen, A geometric form of the axiom of choice, Fund. Math. (1972), to appear.Google Scholar
  2. 2.
    P. J. Cohen, Independence of the axiom of choice, mimeographed notes, Stanford University.Google Scholar
  3. 3.
    P. J. Cohen, Set Theory and the Continuum Hypothesis, Benjamin, 1966Google Scholar
  4. 4.
    M. M. Day, Normed Linear Spaces, Springer, 1962.Google Scholar
  5. 5.
    S. Fefferman, Some applications of the notions of forcing and generic set, Fund. Math. 56 (1965), pp. 325–345.MathSciNetGoogle Scholar
  6. 6.
    J. D. Halpern and H. Lauchli, A partition theorem, Trans. A.M.S. 124 (1966), pp. 360–367.MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    J. D. Halpern and A. Levy, the Boolean prime ideal theorem does not imply the axiom of choice, Proc. Symp. Pure Math. Vol. XIII Part I, pp. 83–134.Google Scholar
  8. 8.
    T. Jech and A. Sochor, Applications of the ϑ model, Bull. Acad. Polon. Ser. Sec. 14 (1966), pp. 351–355.MathSciNetzbMATHGoogle Scholar
  9. 9.
    J. Los and C. Ryll-Nardzewski, Effectiveness of the representation theory for Boolean algebras, Fund. Math. 41 (1954), pp. 49–56.MathSciNetzbMATHGoogle Scholar
  10. 10.
    J. Los and C. Ryll-Nardzewski, On the applications of Tychanov’s theorem in mathematical proofs, Fund. Math. 38 (1951), pp. 233–237.MathSciNetzbMATHGoogle Scholar
  11. 11.
    W. A. J. Luxemburg, 2 applications of the method of construction by ultrapowers to analysis, Bull. A.M.S. 68 (1962), pp. 416–419.MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    W. A. J. Luxemburg, Reduced powers of the real number system and equivalents of the Hahn-Banach extension theorem, Int. Sympos on the Application of Model Theory to Alg. Anal. and Probability, Holt, Rinehart and Winston 1969.Google Scholar
  13. 13.
    J. Mycielski, Two Remarks on Tychonoff’s Product Theorem, Bull. Akad. Polon. Ser. Sci. 12 (1964), pp. 439–441.MathSciNetzbMATHGoogle Scholar
  14. 14.
    D. Pincus, Support structures for the axiom of choice, J.S.L. 35 (1971), pp. 28–38.MathSciNetzbMATHGoogle Scholar
  15. 15.
    D. Pincus, Zermelo Fraenkel consistency results by Fraenkel Mostowski Methods J.S.L. (to appear).Google Scholar
  16. 16.
    D. Pincus, Nonperfect sets, Baire diagonal sets, and well ordering the continuum. Submitted for publication.Google Scholar
  17. 17.
    D. Pincus, Independence of the Prime Ideal theorem from the Hahn Banach Theorem Bull. A.M.S. 78 (1972), to appear.Google Scholar
  18. 18.
    J. R. Shoenfield, Mathematical Logic, Addision Wesley (1967).Google Scholar
  19. 19.
    J. R. Shoenfield, Unramified Forcing, Proc. Symp. Pure Math. XIII Vol. I, pp. 357–381.Google Scholar
  20. 20.
    R. M. Solovay, A model of set theory in which every set of reals is Lesbague measurable Ann. of Math. 92 (1970), pp. 1–58.MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    W. Sierpinski, Sur un probleme conduisant a un ensemble non measurable, Fund. Math. 10 (1927), pp. 177–179.zbMATHGoogle Scholar
  22. 22.
    W. Sierpinski, Functions additives non completement additives et functions non measurables, Fund. Math. 30 (1938), pp. 96–99.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1974

Authors and Affiliations

  • David Pincus
    • 1
  1. 1.Seattle

Personalised recommendations