Arithmetical Sacks Forcing

by Rod Downey, Liang Yu
Venue:Archive for Mathematical Logic