arXiv:1510.07291 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords o-minimal expansion, metric spaces definable, definable metric space, definably homeomorphic, euclidean topology Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset