Combinatorial properties of Hechler forcing (Q1207543): Difference between revisions

Hechler forcing was considered by \textit{J. E. Baumgartner} and \textit{P. Dordal} [J. Symb. Logic 50, 94-101 (1985; Zbl 0566.03031)], who gave a notion of rank for it. This is used here to show that adding one Hechler real produces a maximal almost disjoint family of subsets of \(\omega\) of size \(\omega_ 1\); and it also has strong implications for the cardinals of Cichoń's diagram. Further results concern the effect on projective statements: if \(d\) is Hechler over \(V\) then \(V\) and \(V[d]\) satisfy the same \(\Sigma^ 1_ 4\) sentences with parameters from \(V\). If there is a perfect set of random reals in \(N\) over \(M\), for models \(M\subseteq N\) of ZFC, then either there is a dominating real in \(N\) over \(M\) or the measure of the reals of \(M\) is zero in \(N\). From this it is shown that there is no perfect set of random reals over \(M\) in \(M[r][d]\), where \(r\) is random over \(M\) and \(d\) is Hechler over \(M[r]\).