Lebesgue measure zero modulo ideals on the natural numbers
Abstract
We propose a reformulation of the ideal of Lebesgue measure zero sets of reals modulo an ideal on , which we denote by . In the same way, we reformulate the ideal generated by measure zero sets of reals modulo , which we denote by . We show that these are -ideals and that iff has the Baire property, which in turn is equivalent to . Moreover, we prove that does not contain co-meager sets and contains non-meager sets when does not have the Baire property. We also prove a deep connection between these ideals modulo and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with and . We show their position with respect to Cicho\'n's diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of and . We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.
Cite
@article{arxiv.2212.05185,
title = {Lebesgue measure zero modulo ideals on the natural numbers},
author = {Viera Gavalová and Diego Alejandro Mejía},
journal= {arXiv preprint arXiv:2212.05185},
year = {2025}
}
Comments
Final revision: typos were corrected