Interpretability and definability in the Recursively Enumerable Degrees (1998)

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