Definable encodings in the computably enumerable sets (2000)

by Peter A Cholak, Leo A Harrington
Venue:Bull. Symbolic Logic