Soare, De properties of the computably enumerable sets (1998)

by L Harrington, R I
Venue:Proceedings of the Oberwolfach Conference on Computability Theory, 1996, Annals of Pure and Applied Logic