Richard Friedberg A Criterion for Completeness of Degrees of Unsolvability. 159-160 1957 22 J. Symb. Log. 2 db/journals/jsyml/jsyml22.html#Friedberg57