arXiv:2104.01484 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords real lie groups, o-minimality, lie isomorphism Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset