About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

Simon, Petr
Sacks forcing collapses $\frak c$ to $\frak b$. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 4, pp. 707-710
MSC: 03C25, 03E25, 03E40, 03G05, 06A07, 06E05 | MR 1263799 | Zbl 0797.03053
Keywords:
perfect tree; distributivity of Boolean algebra; almost disjoint refinement
Summary:
We shall prove that Sacks algebra is nowhere $(\frak b, \frak c, \frak c)$-distributive, which implies that Sacks forcing collapses $\frak c$ to $\frak b$.
References:
[A] Abraham U.: A minimal model for $\lnot$CH: iteration of Jensen's reals. Trans. Amer. Math. Soc. (1984), 281 657-674. MR 0722767
[BS] Balcar B., Simon P.: Disjoint Refinement. in: Handbook of Boolean Algebra, Elsevier Sci. Publ. (1989), 333-386. MR 0991597
[JMS] Judah H., Miller A.W., Shelah S.: Sacks forcing, Laver forcing and Martin's axiom. Arch. Math. Logic (1992), 31 145-161. MR 1147737 | Zbl 0755.03026
[RS] Rosłanowski A., Shelah S.: More forcing notions imply diamond. (preprint January 4, 1993).
[S] Sacks G.E.: Forcing with perfect closed sets. Axiomatic set theory, Proc. Symp. Pure Math. 13 (1971), 331-355. MR 0276079 | Zbl 0226.02047
Partner of
EuDML logo