×

The higher Cichoń diagram. (English) Zbl 1498.03115

Summary: For a strongly inacessible cardinal \(\kappa\), we investigate the relationships between the following ideals:
(1)
the ideal of meager sets in the \(< \kappa \)-box product topology,
(2)
the ideal of “null” sets in the sense of [S. Shelah, Arch. Math. Logic 56, No. 3–4, 319–383 (2017; Zbl 1417.03266)],
(3)
the ideal of nowhere stationary subsets of a (naturally defined) stationary set \(S_{\mathrm {pr}}^\kappa \subseteq \kappa \).
In particular, we analyze the provable inequalities between the cardinal characteristics for these ideals, and we give consistency results showing that certain inequalities are unprovable.
While some results from the classical case \((\kappa=\omega)\) can be easily generalized to our setting, some key results (such as a Fubini property for the ideal of null sets) do not hold; this leads to the surprising inequality cov(null)\({}\le{}\) non(null). Also, concepts that did not exist in the classical case (in particular, the notion of stationary sets) will turn out to be relevant.
We construct several models to distinguish the various cardinal characteristics; the main tools are iterations with \(< \kappa \)-support (and a strong “Knaster” version of \(\kappa^+\)-c.c.) and one iteration with \(\le\kappa \)-support (and a version of \(\kappa\)-properness).

MSC:

03E35 Consistency and independence results
03E17 Cardinal characteristics of the continuum
03E55 Large cardinals

Citations:

Zbl 1417.03266

Software:

MathOverflow

References:

[1] T. Bartoszyński and H. Judah,Set Theory: On the Structure of the Real Line, A K Peters, Wellesley, MA, 1995. · Zbl 0834.04001
[2] T. Baumhauer,Higher random indestructibility of MAD families, arXiv:1904. 04576 (2019).
[3] A. Blass,Combinatorial cardinal characteristics of the continuum, in: Handbook of Set Theory, Vol. 1, Springer, Dordrecht, 2010, 395-489. · Zbl 1198.03058
[4] A. Blass,Finite support iterations ofσ-centered forcing notions, https://mathoverflow.net/q/84129, 2011.
[5] S. Cohen and S. Shelah,Generalizing random real forcing for inaccessible cardinals, Israel J. Math 234 (2019), 547-580. · Zbl 1508.03082
[6] W. B. Easton,Powers of regular cardinals, Ann. Math. Logic 1 (1970), 139-178. · Zbl 0209.30601
[7] R. Engelking and M. Karłowicz,Some theorems of set theory and their topological consequences, Fund. Math. 57 (1965), 275-285. · Zbl 0137.41904
[8] S. D. Friedman, Y. Khomskii, and V. Kulikov,Regularity properties on the generalized reals, Ann. Pure Appl. Logic 167 (2016), 408-430. · Zbl 1422.03098
[9] S.-D. Friedman and G. Laguzzi,A null ideal for inaccessibles, Arch. Math. Logic 56 (2017), 691-697. · Zbl 1417.03254
[10] M. Goldstern and J. Kellner,Review of U. Abraham’s chapter “Proper Forcing” in “Handbook of Set Theory”, Math. Rev. MR2768684, 2016.
[11] A. Kanamori,Perfect-set forcing for uncountable cardinals, Ann. Math. Logic 19 (1980), 97-114. · Zbl 0453.03056
[12] A. Kanamori,The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings, Perspectives Math. Logic, Springer, Berlin, 1994. · Zbl 0813.03034
[13] B. König,Chang’s conjecture may fail at supercompact cardinals, arXiv:math/ 0605128 (2006).
[14] R. Laver,Making the supercompactness ofκindestructible underκ-directed closed forcing, Israel J. Math. 29 (1978), 385-388. · Zbl 0381.03039
[15] I. Recław and P. Zakrzewski,Fubini properties of ideals, Real Anal. Exchange 25 (1999), 565-578. · Zbl 1016.03050
[16] A. Rosłanowski and S. Shelah,Reasonably complete forcing notions, in: Set Theory: Recent Trends and Applications, Quad. Mat. 17, Dip. Mat., Seconda Univ. di Napoli, Caserta, 2006, 195-239. · Zbl 1133.03024
[17] S. Shelah,Corrected iteration, Boll. Un. Mat. Ital., to appear. · Zbl 07730767
[18] S. Shelah,OnCON(dλ>covλ(meagre)), Trans. Amer. Math. Soc. 373 (2020), 5351-5360. · Zbl 1481.03057
[19] S. Shelah,A weak generalization of MA to higher cardinals, Israel J. Math. 30 (1978), 297-306. · Zbl 0384.03032
[20] S. Shelah,Proper and Improper Forcing, 2nd ed., Perspectives Math. Logic, Springer, Berlin, 1998. · Zbl 0889.03041
[21] S. Shelah,The generalized continuum hypothesis revisited, Israel J. Math. 116 (2000), 285-321. · Zbl 0955.03054
[22] S. Shelah,A parallel to the null ideal for inaccessibleλ: Part I, Arch. Math. Logic 56 (2017), 319-383. · Zbl 1417.03266
[23] R. M. Solovay and S. Tennenbaum,Iterated Cohen extensions and Souslin’s problem, Ann. of Math. (2) 94 (1971), 201-245. · Zbl 0244.02023
[24] P. Vojtáš,Generalized Galois-Tukey-connections between explicit relations on classical objects of real analysis, in: Set Theory of the Reals (Ramat Gan, 1991), Israel Math. Conf. Proc. 6, Bar-Ilan Univ., Ramat Gan, 1993, 619-643. · Zbl 0829.03027
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.