Directed schemes of ideals and cardinal characteristics, I: the meager additive ideal

Abstract

We introduce the notion of directed scheme of ideals to characterize peculiar ideals on the reals, which comes from a formalization of the framework of Yorioka ideals for strong measure zero sets. We prove general theorems for directed schemes and propose a directed scheme $\vec{\mathcal{M}}=\{{\mathcal{M}}_I:I\in \mathbb{I}\}$ for the ideal $\mathcal{M}\mathcal{A}$ of meager-additive sets of reals. This directed scheme does not only helps us to understand more the combinatorics of $\mathcal{M}\mathcal{A}$ and its cardinal characteristics, but provides us new characterizations of the additivity and cofinality numbers of the meager ideal of the reals. In addition, we display connections between the characteristics associated with ${\mathcal{M}}_I$ and other classical characteristics. Furthermore, we demonstrate the consistency of $\mathrm{cov}(\mathcal{N}\mathcal{A})<\mathfrak{c}$ and $\mathrm{cof}(\mathcal{M}\mathcal{A})<\mathrm{non}(\mathcal{S}\mathcal{N})$. The first one answers a question raised by the authors in arXiv:2401.15364.

Final revision (minor modifications)

References in corpus (4)

• Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals
• Uniformity numbers of the null-additive and meager-additive ideals
• More about the cofinality and the covering of the ideal of strong measure zero sets
• Separating cardinal characteristics of the strong measure zero ideal