How special are Cohen and random forcings, i.e. boolean algebras of the family of subsets of reals modulo meagre or null
暂无分享,去创建一个
We prove that any Souslin c.c.c. forcing notion which adds a nondominated real adds a Cohen real. We also prove that any Souslin c.c.c. forcing adds a real which is not on any old “narrow” tree.
[1] Saharon Shelah,et al. More on Simple Forcing Notions and Forcings with Ideals , 1993, Ann. Pure Appl. Log..
[2] Tomek Bartoszynski,et al. Combinatorial aspects of measure and category , 1987 .
[3] Saharon Shelah,et al. Souslin Forcing , 1988, J. Symb. Log..