On Ideals Related to Compact Tree Forcings and Their Covering Numbers
We investigate the ideals on the space of the reals that are associated with the classical forcing notions of Sacks and Silver and the closely related Mycielski ideals. We prove that (with one exception) no non-trivial inclusion between any pair of ideals is provable in ZFC. Continuing the work of Jörg Brendle and Otmar Spinas, we show that except for two pairs of distinct ideals (I,J), cov(I) < \cov(J)$ is always consistent, unless this contradicts a trivial ZFC-inequality.
Preview
Rights
Use and reproduction:
Please note that individual components of the publication may be subject to other licensing or copyright conditions.
Cite
Citation style:
Could not load citation form.