The jump is definable in the structure of the degrees of unsolvability (research announcement (1990)

by S B Cooper
Venue:Bulletin of the American Mathematical Society NS