Leo Harrington Robert I. Soare Definable Properties of the Computably Enumerable Sets. 97-125 1998 94 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal94.html#HarringtonS98 http://dx.doi.org/10.1016/S0168-0072(97)00069-9