Distributive proper forcing axiom and a left-right dichotomy of Cichoń’s diagram
In this paper, we study distributive proper forcing axiom (DPFA) and prove its consistency with a dichotomy of the Cichoń’s diagram, relative to certain large cardinal assumption. Namely, we evaluate the cardinal invariants in Cichoń’s diagram with the first two uncountable cardinals in the way that the left-hand side has the least possible cardinality while the right-hand side has the largest possible value, and preserve the evaluation along the way of forcing DPFA.
Keywordsforcing axiom Cichoń’s diagram preservation
MSC(2010)03E17 03E35 03E50
Unable to display preview. Download preview PDF.
The author thanks Institute of Mathematical Science, National University of Singapore for support. The author thanks the reviewers for the suggestions and comments which greatly improved the manuscript. The author is inspired by many people when writing this paper. Among others, the author thanks Professor Qi Feng for his consistent encouragement. Last but foremost, the author thanks his parents for their love and dedicates this work to them.
- 8.Kunen K. Set Theory: An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics, vol. 102. Amsterdam: North-Holland, 1980Google Scholar
- 12.Shelah S. Proper Forcing. Lecture Notes in Mathematics, vol. 940. New York: Springer-Verlag, 1982Google Scholar
- 13.Todorcevic S. Partition Problems in Topology. Contemporary Mathematics, vol. 84. Providence: Amer Math Soc, 1989Google Scholar
- 14.Zhu H. Distributive proper forcing axiom. PhD Thesis. Singapore: National University of Singapore, 2012Google Scholar