The Turing definability of the relation of "computably enumerable in (2000)

by S B Cooper
Venue:Computability Theory Seminar, University of Leeds: http://www.amsta.leeds.ac.uk/pure/sta#/cooper/preprints.html