Σ1-Collection and the Finite Injury Priority Method (1987)

by T A Slaman, W H Woodin
Venue:in Mathematical Logic and Applications (Kyoto