Codable Sets and Orbits of Computably Enumerable Sets (1995)

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