A Sacks real out of Nowhere

There is a proper countable support iteration
of length omega adding no new reals at finite stages
and adding a Sacks real in the limit.

Back to the list of publications