Soare, Computability results used in differential geometry (0)

by Barbara F Csima, I Robert
Venue:Journal of Symbolic Logic 71 (2006), 1394–1410. MR2275866 (2007g:03053