Dynamic properties of computably enumerable sets (1996)

by L Harrington, R I Soare
Venue:In Computability, Enumerability, Unsolvability, volume 224 of London Math. Soc. Lecture Note Ser