# Article

Full entry | PDF   (0.1 MB)
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