Skip to main content
Log in

Distributive proper forcing axiom and cardinal invariants

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

In this paper, we study the forcing axiom for the class of proper forcing notions which do not add ω sequence of ordinals. We study the relationship between this forcing axiom and many cardinal invariants. We use typical iterated forcing with large cardinals and analyse certain property being preserved in this process. Lastly, we apply the results to distinguish several forcing axioms.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Bartoszyński T.: Additivity of measure implies additivity of category. Trans. Am. Math. Soc. 281(1), 209–213 (1984)

    MATH  Google Scholar 

  2. Bartoszyński, T., Judah, H.: Set Theory-On The Structure of the Real Line. A K Peters Ltd., Wellesley, MA (1995)

  3. Baumgartner, J.: Applications of the proper forcing axiom. In: Handbook of Set-Theoretic Topology, pp. 913–959. North-Holland Publishing Co. (1984)

  4. Blass, A.: Combinatorial cardinal characteristics of the continuum. In: Handbook of Set Theory. Springer, Berlin (2010)

  5. Blass A., Shelah S.: There may be simple \({p_{\aleph_1}}\)- and \({p_{\aleph_2}}\)-points and the Rudin-Keisler ordering may be downward directed. Ann. Pure Appl. Logic 33, 213–243 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  6. Goldstern, M.: Tools for your forcing construction. In: Judah, H. (ed.) Set Theory of The Reals, Israel Mathematical Conference Proceedings, vol. 6, pp. 305–360. American Mathematical Society (1993)

  7. Goldstern M., Shelah S.: The bounded proper forcing axiom. J. Symb. Logic 60, 58–73 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  8. Jech, T.: Set Theory, 3rd edn. Springer Monographs in Mathematics. Springer, Berlin (2003)

  9. Laver R.: Making the supercompactness of κ indestructible under κ-directed closed forcing. Israel J. Math. 29(4), 385–388 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  10. Magidor, M.: Notes taken by schimmerling on Nov. 12, 2009 at Oberwolfach

  11. Martin D., Solovay R.: Internal Cohen extensions. Ann. Math. Logic 2(2), 143–178 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  12. Moore J.: Set mapping reflection. J. Math. Logic 51, 89–97 (2005)

    Article  Google Scholar 

  13. Raghavan D.: Maximal almost disjoint families of functions. Fund. Math. 204(3), 241–282 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  14. Rudin W.: Homogeneity problems in the theory of cech compactifications. Duke Math. J. 23, 409–419 (1956)

    Article  MathSciNet  MATH  Google Scholar 

  15. Shelah S.: \({{\rm con}({\frak u} > {\frak i})}\). Arch. Math. Logic 31, 433–443 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  16. Solovay R., Tennenbaum S.: Iterated Cohen extensions and Souslin’s problem. Ann. Math. 94(2), 201–245 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  17. Todorčević, S.: Partition problems in topology. Am. Math. Soc. (1989)

  18. Todorčević S.: A dichotomy for P-ideals of countable sets. Fund. Math. 166(3), 251–267 (2000)

    MathSciNet  MATH  Google Scholar 

  19. Zhu, H.: Distributive Proper Forcing Axiom. Ph.D. thesis, National University Of Singapore (2012)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Huiling Zhu.

Additional information

To My Parents.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhu, H. Distributive proper forcing axiom and cardinal invariants. Arch. Math. Logic 52, 497–506 (2013). https://doi.org/10.1007/s00153-013-0327-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-013-0327-x

Keywords

Mathematics Subject Classification (2000)

Navigation