More forcing notions imply diamond

by Roslanowski and Shelah. [RoSh:475]
Archive for Math Logic, 1996
We prove that the Sacks forcing collapses the continuum onto the dominating number d, answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses omega_2 then it forces diamondsuit_{omega_1} .

Back to the list of publications