The complexity of orbits of the computably enumerable sets (2008)

by P Cholak, R Downey, L A Harrington
Venue:Bull. Symb. Logic