Soare, De automorphisms, and dynamic properties of computably enumerable sets (1996)

by L Harrington, R I
Venue:Bulletin of Symbolic Logic