Robert I. Soare Computability theory and differential geometry. 457-486 2004 10 Bulletin of Symbolic Logic 4 http://www.math.ucla.edu/~asl/bsl/1004/1004-001.ps db/journals/bsl/bsl10.html#Soare04