Uniformity numbers of the null-additive and meager-additive ideals. arXiv:2401.15364
Preprint, arXiv:2401.15364 [math.LO] (2024).
Summary: Denote by \(\mathcal{N}\!\mathcal{A}\) and \(\mathcal{MA}\) the ideals of null-additive and meager-additive subsets of \(2^\omega\), respectively. We prove in ZFC that \(\mathrm{add}(\mathcal{N}\!\mathcal{A})=\mathrm{non}(\mathcal{N}\!\mathcal{A})\) and introduce a new (Polish) relational system to reformulate Bartoszyński’s and Judah’s characterization of the uniformity of \(\mathcal{MA}\), which is helpful to understand the combinatorics of \(\mathcal{MA}\) and to prove consistency results. As for the latter, we prove that \(\mathrm{cov}(\mathcal{MA})<\mathfrak{c}\) (even \(\mathrm{cov}(\mathcal{MA})<\mathrm{non}(\mathcal{N})\)) is consistent with ZFC, as well as several constellations of Cichoń’s diagram with \(\mathrm{non}(\mathcal{N}\!\mathcal{A})\), \(\mathrm{non}(\mathcal{MA})\) and \(\mathrm{add}(\mathcal{SN})\), which include \(\mathrm{non}(\mathcal{N}\!\mathcal{A})<\mathfrak{b}< \mathrm{non}(\mathcal{MA})\) and \(\mathfrak{b}< \mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{M})<\mathfrak{d}=\mathfrak{c}\).
MSC:
03E05 | Other combinatorial set theory |
03E17 | Cardinal characteristics of the continuum |
03E35 | Consistency and independence results |
03E40 | Other aspects of forcing and Boolean-valued models |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.