Skip to main content

Models in Which AC Fails

  • Chapter
  • 2631 Accesses

Part of the book series: Springer Monographs in Mathematics ((SMM))

Abstract

In Chapter 7 we have constructed models of Set Theory in which the Axiom of Choice failed. However, these models were models of Set Theory with atoms, denoted ZFA, where atoms are objects which do not have any elements but are distinct from the empty set. In this chapter we shall demonstrate how one can construct models of Zermelo–Fraenkel Set Theory (i.e., models of ZF) in which AC fails. Moreover, we shall also see how we can embed arbitrary large fragments of permutation models (i.e., models of ZFA) into models of ZF.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Andreas Blass: A model without ultrafilters. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 25, 329–331 (1977)

    MathSciNet  MATH  Google Scholar 

  2. Andreas Blass, Ioanna Dimitriou, Löwe Benedikt: Inaccessible cardinals without the axiom of choice. Fundam. Math. 194, 179–189 (2007)

    Article  MATH  Google Scholar 

  3. Paul J. Cohen: Set Theory and the Continuum Hypothesis. Benjamin, New York (1966)

    MATH  Google Scholar 

  4. Solomon Feferman: Some applications of the notions of forcing and generic sets. Fundam. Math. 56, 325–345 (1964/1965)

    MathSciNet  Google Scholar 

  5. Solomon Feferman, Azriel Lévy: Independence results in set theory by Cohen’s method II. Not. Am. Math. Soc. 10, 593 (1963)

    Google Scholar 

  6. Adolf Fraenkel: Zu den Grundlagen der Cantor–Zermeloschen Mengenlehre. Math. Ann. 86, 230–237 (1922)

    Article  MathSciNet  MATH  Google Scholar 

  7. Felix Hausdorff: Grundzüge der Mengenlehre. De Gruyter, Leipzig (1914) [reprint: Chelsea, New York (1965)]

    MATH  Google Scholar 

  8. Thomas Jech: ω 1 can be measurable. Isr. J. Math. 6, 363–367 (1968)

    Article  MathSciNet  Google Scholar 

  9. Thomas Jech: The Axiom of Choice. Studies in Logic and the Foundations of Mathematics, vol 75. North-Holland, Amsterdam (1973)

    MATH  Google Scholar 

  10. Thomas Jech: Set Theory. Pure and Applied Mathematics. Academic Press, London (1978)

    Google Scholar 

  11. Thomas Jech: Set Theory, The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics. Springer, Berlin (2003)

    MATH  Google Scholar 

  12. Thomas Jech, Antonín Sochor: On θ-model of the set theory. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 14, 297–303 (1966)

    MathSciNet  MATH  Google Scholar 

  13. Thomas Jech, Antonín Sochor: Applications of the θ-model. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 14, 351–355 (1966)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lorenz J. Halbeisen .

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag London Limited

About this chapter

Cite this chapter

Halbeisen, L.J. (2012). Models in Which AC Fails. In: Combinatorial Set Theory. Springer Monographs in Mathematics. Springer, London. https://doi.org/10.1007/978-1-4471-2173-2_17

Download citation

Publish with us

Policies and ethics