arXiv:2010.12782 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords o-minimal structures, groups definable, properties, diagram surveying equivalence, strict implication Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset