arXiv subjects

Ismael E. Rivera-Madrid

Publications and source records attributed to Ismael E. Rivera-Madrid.

3 recordsLinked to original sources

arXiv2026

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

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 \colon I\in\mathbb{I}\}$ for the ideal $\mathcal{MA}$ of meager-additive sets of reals. This directed scheme does not only helps us to understand more the combinatorics of $\mathcal{MA}$ 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{NA})<\mathfrak{c}$ and $\mathrm{cof}(\mathcal{MA})<\mathrm{non}(\mathcal{SN})$. The first one answers a question raised by the authors in arXiv:2401.15364.

math.LO↗

arXiv2025

Uniformity numbers of the null-additive and meager-additive ideals

Denote by $\mathcal{NA}$ and $\mathcal{MA}$ the ideals of null-additive and meager-additive subsets of~$2^ω$, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{NA})=\mathrm{non}(\mathcal{NA})$ 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{NA})$, $\mathrm{non}(\mathcal{MA})$ and $\mathrm{add}(\mathcal{SN})$, which include $\mathrm{non}(\mathcal{NA})<\mathfrak{b}< \mathrm{non}(\mathcal{MA})$ and $\mathfrak{b}< \mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{M})<\mathfrak{d}=\mathfrak{c}$.

math.LO↗

arXiv2019

The covering number of the strong measure zero ideal can be above almost everything else

We show that certain type of tree forcings, including Sacks forcing, increases the covering of the strong measure zero ideal $\mathcal{SN}$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal invariant of the continuum. Even more, Sacks forcing can be used to force that $\mathrm{non}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$, which is the first consistency result where more than two cardinal invariants associated with $\mathcal{SN}$ are pairwise different. Another consequence is that $\mathcal{SN}\subseteq s^0$ in ZFC where $s^0$ denotes the Marczewski's ideal.

math.LO↗