Soare, Dynamic properties of computably enumerable sets, In: Computability, Enumerability, Unsolvability: Directions in Recursion Theory (1996)

by L Harrington, R I
Venue:Proceedings of the Recursion Theory Conference, University of Leeds, July, 1994, London Math. Soc. Lecture Notes Series