Saharon The undecidability of the recursively enumerable degrees (1982)

by Leo Harrington, Shelah
Venue:Bull. AMS (N.S