Archive | 2021
Real Lie groups and o-minimality
Abstract
We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field. For any such group, we find a Lie-isomorphic group definable in Rexp for which any Lie automorphism is definable.