Abstract.
We prove that the Sacks forcing collapses the continuum onto \({\frak 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}}\).
Article PDF
Similar content being viewed by others
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Additional information
Received July 4, 1994
Rights and permissions
About this article
Cite this article
Rosłanowski, A., Shelah, S. More forcing notions imply diamond . Arch Math Logic 35, 299–313 (1996). https://doi.org/10.1007/s001530050047
Issue Date:
DOI: https://doi.org/10.1007/s001530050047