2025/11/28 by Miguel A. Cardona, Cardona, Miguel A., Diego A. Mejía +3
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.2512.00235
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 M = \MI \colon I∈\mathbbI\ for the ideal MA of meager-additive sets of reals. This directed scheme does not only helps us to understand more the combinatorics of 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 MI and other classical characteristics. Furthermore, we demonstrate the consistency of cov(NA)<\mathfrakc and cof(MA)<non(SN). The first one answers a question raised by the authors in arXiv:2401.15364.