The cardinal coefficients of the ideal I_f
A subset \(X\) of the Cantor space \(2^\omega\) has strong measure zero if for every sequence \(\{\varepsilon_n\}\) of positive reals, there is a sequence \(\{I_n\}\) of basic open sets such that \(X\subseteq \bigcup_n I_n\) and each set \(I_n\) has diameter \(<\varepsilon_n\). Combinatorially, this means that for each increasing \(h\in{\mathbb{N}^\mathbb{N}}\), there are \(s_n\in 2^{h(n)}\), such that for each \(x\in X\), \(s_n\) is an initial segment of \(x\) for infinitely many \(n\). Let \(\mathcal{SN}\) be the family of all strong measure zero subsets of \(2^\omega\). \textit{T. Yorioka} [``The cofinality of the strong measure zero ideal, J. Symb. Log. 67, No. 4, 1373--1384 (2002; Zbl 1046.03028)] studied the cofinality of \(\mathcal{SN}\) by introducing an ideal \(\mathcal{I}_f\) for each \(f\in{\mathbb{N}^\mathbb{N}}\), such that \(\mathcal{SN}\subseteq\mathcal{I}_f\) for each \(f\). The definition of \(\mathcal{I}_f\) is of a combinatorial flavor similar to the one given above. The purpose of the present paper is to study the ideals \(\mathcal{I}_f\) for their own sake. The authors prove that there are \(\mathfrak{b}\) members of \(\mathcal{I}_f\) whose union is not in \(\mathcal{I}_f\), and that there is no cofinal subfamily of \(\mathcal{I}_f\) of cardinality smaller than \(\mathfrak{d}\). They also provide consistency results concerning the additivity, covering, uniformity, and cofinality of \(\mathcal{I}_f\).
- On cardinal characteristics of Yorioka ideals
- More remarks on the intersection ideal ${\mathcal{M}}\cap {\mathcal{N}}$
- On ideals of subsets of the plane and on Cohen reals
- Universal sets for ideals
- On cardinal characteristics associated with the strong measure zero ideal
- Combinatorial properties of the ideal ℬ2
- Strongly meager sets can be quite big
- scientific article; zbMATH DE number 1548941
- On the Ramseyan properties of some special subsets of 2ωand their algebraic sums
- Productivity versus weak Fubini property
- Transitive properties of the ideal \(\mathbb{S}_2\)
- Filter-linkedness and its effect on preservation of cardinal characteristics
- Many different uniformity numbers of Yorioka ideals
- Many different covering numbers of Yorioka's ideals
- The cofinality of the strong measure zero ideal
- On cardinal characteristics associated with the strong measure zero ideal
- On cardinal characteristics of Yorioka ideals
- Cardinal Invariants of Analytic P-Ideals
- The covering number and the uniformity of the ideal ℐf
- A friendly iteration forcing that the four cardinal characteristics of \mathcal E can be pairwise different
- Cardinal coefficients associated to certain orders on ideals
- Cardinal characteristics on bounded generalised Baire spaces
- More about the cofinality and the covering of the ideal of strong measure zero sets
This page was built for publication: The cardinal coefficients of the ideal \(\mathcal {I}_{f}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q953276)