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.
Vorschau
Rechte
Nutzung und Vervielfältigung:
Bitte beachten Sie, dass einzelne Bestandteile der Publikation anderweitigen Lizenz- bzw. urheberrechtlichen Bedingungen unterliegen können.
Zitieren
Zitierform:
Zitierform konnte nicht geladen werden.