Forcing and reducibilities, The (1983)

by P Odifreddi
Venue:Journal of Symbolic Logic