A Sacks Real out of Nowhere
arXiv:math/0703302 · doi:10.2178/jsl/1264433909
Abstract
There is a proper countable support iteration of length $Ï$ adding no new reals at finite stages and adding a Sacks real in the limit.
Improvements (hopefully) in presentation