Two recursively enumerable sets of incomparable degrees of unsolvability (1957)

by R M Friedberg
Venue:Proc. Nat. Acad. Sci. (USA