More forcing notions imply diamond
classification
🧮 math.LO
keywords
forcingcollapsescontinuumdiamondomegaproveansweringcarlson
read the original abstract
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 diamond_{omega_1} .
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.