and Saharon Shelah. The undecidability of the recursively enumerable degrees (1982)

by Leo Harrington
Venue:Bull. Amer. Math. Soc. (N.S