Parameter Definability in the Recursively Enumerable Degrees.

André Nies
Published in: J. Math. Log. (2003)