Soare, Denable properties of the computably enumerable sets, in preparation (1996)

by L Harrington, R I
Venue:Proceedings of the Oberwolfach Conference on Computability Theory