Soare, Dierential Geometry and Computably Enumerable Sets (0)