The Covering Numbers of Mycielski Ideals are all Equal

by

S. Shelah and Juris Steprans

13 pages

The Mycielski ideal M_k is defined to consist of all subsets A of \omega^k such that the set {f|X: f\in A} is not equal to \omega^k for all infinite subsets X of \omega. 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.

DVI and Postscript files are available at the Topology Atlas preprints side.