The α-finite injury method (1972)

by G E Sacks, Stephen G Simpson
Venue:Annals of Mathematical Logic