Soare, “Definable properties of the computably enumerable sets,” to appear, Annals Pure and Applied Logic (0)

by L Harrington, R I