On Non-Wellfounded Iterations of the Perfect Set Forcing
Kanovei, Vladimir
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 551-574 / Harvested from Project Euclid
We prove that if I is a partially ordered set in a countable transitive model $\mathfrak{M}$ of $\mathbf{ZFC}$ then $\mathfrak{M}$ can be extended by a generic sequence of reals $\mathbf{a}_i$, i $\in$ I, such that $\aleph^{\mathfrak{M}}_1$ is preserved and every $\mathbf{a}_i$ is Sacks generic over $\mathfrak{M}[\langle \mathbf{a}_j : j < i\rangle]$. The structure of the degrees of $\mathfrak{M}$-constructibility of reals in the extension is investigated. As applications of the methods involved, we define a cardinal invariant to distinguish product and iterated Sacks extensions, and give a short proof of a theorem (by Budinas) that in $\omega_2$-iterated Sacks extension of L the Burgess selection principle for analytic equivalence relations holds.
Publié le : 1999-06-14
Classification: 
@article{1183745793,
     author = {Kanovei, Vladimir},
     title = {On Non-Wellfounded Iterations of the Perfect Set Forcing},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 551-574},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745793}
}
Kanovei, Vladimir. On Non-Wellfounded Iterations of the Perfect Set Forcing. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  551-574. http://gdmltest.u-ga.fr/item/1183745793/