Forcing and reducibilities (1983)

by P Odifreddi
Venue:J. Symbolic Logic