Soare, Computability Theory and Applications (0)