The cardinal coefficients of the ideal \(\mathcal {I}_{f}\) (Q953276): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-008-0091-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2065766657 / rank | |||
Normal rank |
Revision as of 00:39, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The cardinal coefficients of the ideal \(\mathcal {I}_{f}\) |
scientific article |
Statements
The cardinal coefficients of the ideal \(\mathcal {I}_{f}\) (English)
0 references
17 November 2008
0 references
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\).
0 references
cardinal invariants
0 references
strong measure zero sets
0 references
countable support iteration
0 references
finite support iteration
0 references
countable chain condition
0 references
Cohen forcing
0 references
random forcing
0 references
Sacks forcing
0 references