Peter Cholak Leo Harrington Definable encodings in the computably enumerable sets. 185-196 2000 6 Bulletin of Symbolic Logic 2 http://www.math.ucla.edu/~asl/bsl/0602/0602-004.ps db/journals/bsl/bsl6.html#CholakH00