Interpretability and definability in the recursively enumerable turing-degrees (1998)

by A Nies, R Shore, T Slaman
Venue:Proc. Lond. Math. Soc