Interpretability and definability in the recursively enumerable degrees (1998)

by André Nies, Richard A Shore, Theodore A Slaman
Venue:Proceedings of the London Mathematical Society