Minimal degrees and the jump operator (1973)

by S B Cooper
Venue:Journal of Symbolic Logic