Peter Cholak, Leo Harrington. Definable encodings in the computably enumerable sets. Bulletin of Symbolic Logic, 6(2):185-196, 2000. [doi]
@article{CholakH00,
title = {Definable encodings in the computably enumerable sets},
author = {Peter Cholak and Leo Harrington},
year = {2000},
url = {http://www.math.ucla.edu/~asl/bsl/0602/0602-004.ps},
researchr = {https://researchr.org/publication/CholakH00},
cites = {0},
citedby = {0},
journal = {Bulletin of Symbolic Logic},
volume = {6},
number = {2},
pages = {185-196},
}