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.