special are Cohen and random forcings i.e. Boolean algebras of the family of subsets of reals modulo meagre or null

Abstract

We prove that any Souslin c.c.c. forcing notion which add a non dominated real add a Cohen real. We also prove that any Souslin c.c.c. forcing add a real which is not on any old narrow tree. The feeling that those two forcing notions-Cohen and Random- (equivalently the (480) revision:2006-06-15 modified:2006-06-21 corresponding Boolean algebras P(R)/(meagre sets), P(R)/(null sets)) are special, was probably old and widespread. A reasonable interpretation is to show them unique, or “minimal ” or at least characteristic in a family of “nice forcing ” like Borel. We shall interpret “nice ” as Souslin as suggested by Judah Shelah [JdSh 292]; (discussed below). We divide the family of Souslin forcing to two, and expect that: among the first part, i.e. those adding some non-dominated real, Cohen is minimal (=is below every one), while among the rest random is quite characteristic even unique or at least minimal. Concerning the second class we have weak results, concerning the first class, our results look satisfactory.