A Sacks Real out of Nowhere

Abstract

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.

Improvements (hopefully) in presentation

References in corpus (1)

• New reals: Can live with them, can live without them

Cited by in corpus (1)

• Projective measure without projective Baire