@book {MR2717108,
	title = {Applications of computability theory to prime models and differential geometry},
	year = {2003},
	note = {Thesis (Ph.D.){\textendash}The University of Chicago},
	pages = {45},
	publisher = {ProQuest LLC, Ann Arbor, MI},
	organization = {ProQuest LLC, Ann Arbor, MI},
	isbn = {978-0496-36466-4},
	url = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004\&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation\&res_dat=xri:pqdiss\&rft_dat=xri:pqdiss:3088727},
	author = {Csima, Barbara Flora}
}
