Computability theory and differential geometry

Robert I. Soare. Computability theory and differential geometry. Bulletin of Symbolic Logic, 10(4):457-486, 2004. [doi]

Abstract

Abstract is missing.