TY - JOUR
T1 - More forcing notions imply diamond
AU - Rosłanowski, Andrzej
AU - Shelah, Saharon
PY - 1996/11
Y1 - 1996/11
N2 - We prove that the Sacks forcing collapses the continuum onto δ, answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses ω 2 then it forces ◇ ω1 .
AB - We prove that the Sacks forcing collapses the continuum onto δ, answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses ω 2 then it forces ◇ ω1 .
UR - http://www.scopus.com/inward/record.url?scp=0030305739&partnerID=8YFLogxK
U2 - 10.1007/s001530050047
DO - 10.1007/s001530050047
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0030305739
SN - 0933-5846
VL - 35
SP - 299
EP - 313
JO - Archive for Mathematical Logic
JF - Archive for Mathematical Logic
IS - 5-6
ER -