More forcing notions imply diamond
逻辑
2009-09-25 v1
摘要
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} .
引用
@article{arxiv.math/9408215,
title = {More forcing notions imply diamond},
author = {Andrzej Rosłanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9408215},
year = {2009}
}