### The covering numbers of Mycielski ideals are all equal

by Shelah and Steprans. [ShSr:665]

J Symbolic Logic, 2001

The Mycielski ideal M_k is defined to consist of all sets
A subseteq k^omega such that {f restriction X: f in A} not=
k^X for all X in [omega]^{aleph_0} . It will be shown that the
covering numbers for these ideals are all equal. However, the
covering numbers of the closely associated Roslanowski ideals will
be shown to be consistently different.

Back to the list of publications