Codable sets and orbits of computably enumerable sets (1998)

by Leo Harrington, Robert I Soare
Venue:J. Symbolic Logic