@article {MR2275866,
	title = {Computability results used in differential geometry},
	journal = {J. Symbolic Logic},
	volume = {71},
	number = {4},
	year = {2006},
	pages = {1394{\textendash}1410},
	issn = {0022-4812},
	doi = {10.2178/jsl/1164060462},
	url = {https://doi.org/10.2178/jsl/1164060462},
	author = {Csima, Barbara F. and Soare, Robert I.}
}