The left side of Cichoń’s diagram

Goldstern, Martin; Mejía, Diego; Shelah, Saharon

doi:10.1090/proc/13161

The left side of Cichoń’s diagram
HTML articles powered by AMS MathViewer

by Martin Goldstern, Diego Alejandro Mejía and Saharon Shelah PDF

Proc. Amer. Math. Soc. 144 (2016), 4025-4042 Request permission

Abstract:

Using a finite support iteration of ccc forcings, we construct a model of $\aleph _1<\mathrm {add}(\mathcal {N})<\mathrm {cov}(\mathcal {N})<\mathfrak {b}< \mathrm {non}(\mathcal {M})<\mathrm {cov}(\mathcal {M})=\mathfrak {c}$.

References

U. Abraham and Y. Yin, A note on the Engelking-Karłowicz theorem, Acta Math. Hungar. 120 (2008), no. 4, 391–404. MR 2452761, DOI 10.1007/s10474-008-7160-4
Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295
Jörg Brendle and Diego Alejandro Mejía, Rothberger gaps in fragmented ideals, Fund. Math. 227 (2014), no. 1, 35–68. MR 3247032, DOI 10.4064/fm227-1-4
Jörg Brendle, Larger cardinals in Cichoń’s diagram, J. Symbolic Logic 56 (1991), no. 3, 795–810. MR 1129144, DOI 10.2307/2275049
Jacek Cichoń, Anastasis Kamburelis, and Janusz Pawlikowski, On dense subsets of the measure algebra, Proc. Amer. Math. Soc., 94(1):142–146, 1985.
R. Engelking and M. Karłowicz, Some theorems of set theory and their topological consequences, Fund. Math. 57 (1965), 275–285. MR 196693, DOI 10.4064/fm-57-3-275-285
Arthur Fischer, Martin Goldstern, Jakob Kellner, and Saharon Shelah, Creature forcing and five cardinal characteristics of the continuum, Arch. Math. Logic, to appear, 2015.
David H. Fremlin, Cichoń’s diagram, Publ. Math. Univ. Pierre Marie Curie, Sémin. Initiation Anal., 66, 1984.
Martin Goldstern, Tools for your forcing construction, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 305–360. MR 1234283
Haim Judah and Saharon Shelah, The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing), J. Symbolic Logic 55 (1990), no. 3, 909–927. MR 1071305, DOI 10.2307/2274464
Haim Judah and Saharon Shelah, Adding dominating reals with the random algebra, Proc. Amer. Math. Soc. 119 (1993), no. 1, 267–273. MR 1152278, DOI 10.1090/S0002-9939-1993-1152278-3
Anastasis Kamburelis, Iterations of Boolean algebras with measure, Arch. Math. Logic 29 (1989), no. 1, 21–28. MR 1022984, DOI 10.1007/BF01630808
Noboru Osuga and Shizuo Kamo, Many different covering numbers of Yorioka’s ideals, Arch. Math. Logic 53 (2014), no. 1-2, 43–56. MR 3151397, DOI 10.1007/s00153-013-0354-7
Diego Alejandro Mejía, Matrix iterations and Cichon’s diagram, Arch. Math. Logic 52 (2013), no. 3-4, 261–278. MR 3047455, DOI 10.1007/s00153-012-0315-6
Arnold W. Miller, Some properties of measure and category, Trans. Amer. Math. Soc. 266 (1981), no. 1, 93–114. MR 613787, DOI 10.1090/S0002-9947-1981-0613787-2
Janusz Pawlikowski, Adding dominating reals with $\omega ^\omega$ bounding posets, J. Symbolic Logic 57 (1992), no. 2, 540–547. MR 1169191, DOI 10.2307/2275289
Saharon Shelah, Covering of the null ideal may have countable cofinality, Fund. Math. 166 (2000), no. 1-2, 109–136. Saharon Shelah’s anniversary issue. MR 1804707, DOI 10.4064/fm-166-1-2-109-136