Why Solovay Real Produces Cohen Real
Pawlikowski, Janusz
J. Symbolic Logic, Tome 51 (1986) no. 1, p. 957-968 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
An explanation is given of why, after adding to a model $M$ of ZFC first a Solovay real $r$ and next a Cohen real $c$, in $M\lbrack r\rbrack\lbrack c\rbrack$ a Cohen real over $M\lbrack c\rbrack$ is produced. It is also shown that a Solovay algebra iterated with a Cohen algebra can be embedded into a Cohen algebra iterated with a Solovay algebra.
Publié le : 1986-12-14
Classification:  
@article{1183742234,
     author = {Pawlikowski, Janusz},
     title = {Why Solovay Real Produces Cohen Real},
     journal = {J. Symbolic Logic},
     volume = {51},
     number = {1},
     year = {1986},
     pages = { 957-968},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742234}
}

Pawlikowski, Janusz. Why Solovay Real Produces Cohen Real. J. Symbolic Logic, Tome 51 (1986) no. 1, pp.  957-968. http://gdmltest.u-ga.fr/item/1183742234/