Slalom numbers
Authors:
Miguel A. Cardona,
Viera Gavalova,
Diego A. Mejia,
Miroslav Repicky,
Jaroslav Supina
Abstract:
The paper is an extensive and systematic study of cardinal invariants we call slalom numbers, describing the combinatorics of sequences of sets of natural numbers. Our general approach, based on relational systems, covers many such cardinal characteristics, including localization and anti-localization cardinals. We show that most of the slalom numbers are connected to topological selection princip…
▽ More
The paper is an extensive and systematic study of cardinal invariants we call slalom numbers, describing the combinatorics of sequences of sets of natural numbers. Our general approach, based on relational systems, covers many such cardinal characteristics, including localization and anti-localization cardinals. We show that most of the slalom numbers are connected to topological selection principles, in particular, we obtain the representation of the uniformity of meager and the cofinality of measure. Considering instances of slalom numbers parametrized by ideals on natural numbers, we focus on monotonicity properties with respect to ideal orderings and computational formulas for the disjoint sum of ideals. Hence, we get such formulas for several pseudo-intersection numbers as well as for the bounding and dominating numbers parametrized with ideals. Based on the effect of adding a Cohen real, we get many consistent constellations of different values of slalom numbers.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
Lebesgue measure zero modulo ideals on the natural numbers
Authors:
Viera Gavalová,
Diego Alejandro Mejía
Abstract:
We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $ω$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by $F_σ$ measure zero sets of reals modulo $J$, which we denote by $\mathcal{N}^*_J$. We show that these are $σ$-ideals and that $\mathcal{N}_J=\mathcal{N}$ iff $J$ has the Bair…
▽ More
We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $ω$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by $F_σ$ measure zero sets of reals modulo $J$, which we denote by $\mathcal{N}^*_J$. We show that these are $σ$-ideals and that $\mathcal{N}_J=\mathcal{N}$ iff $J$ has the Baire property, which in turn is equivalent to $\mathcal{N}^*_J=\mathcal{E}$. Moreover, we prove that $\mathcal{N}_J$ does not contain co-meager sets and $\mathcal{N}^*_J$ contains non-meager sets when $J$ does not have the Baire property. We also prove a deep connection between these ideals modulo $J$ and the notion of nearly coherence of filters (or ideals).
We also study the cardinal characteristics associated with $\mathcal{N}_J$ and $\mathcal{N}^*_J$. We show their position with respect to Cichoń'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 $\mathrm{add}(\mathcal{N})$ and $\mathrm{cof}(\mathcal{N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.
△ Less
Submitted 3 March, 2023; v1 submitted 9 December, 2022;
originally announced December 2022.
