Real Lie groups and o-minimality
arXiv:2104.01484
Abstract
We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field.
arXiv:2104.01484
We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field.