The cardinal coefficients of the ideal \(\mathcal {I}_{f}\) (Q953276)

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\).