2 papers
math.LO2021
Real Lie groups and o-minimality
Annalisa Conversano, Alf Onshuus, Sacha Post
We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field.
math.LO2019
A definability criterion for connected Lie groups
Alf Onshuus, Sacha Post
It has been known since \cite{Pgroupchunk} that any group definable in an -minimal expansion of the real field can be equipped with a Lie group structure. It is therefore natura…