Alf Onshuus
Published 2023-02-08Version 1
In this paper, we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field (which we will refer to as ``definable groups''). It is known (\cite{Pi88}) that any group definable in an o-minimal expansion of the real field is a Lie group, and in \cite{COP} a complete characterization of when a Lie group has a ``definable group'' which is Lie isomorphic to it was given. In this paper we continue the analysis by explaining when a Lie homomorphism between definable groups is a definable isomorphism.
On expansions of the real field by complex subgroups
On O-Minimal Expansions of $(\mathbb{Q},<,+,0)$
Expansions of real closed fields which introduce no new smooth functions
![QR code for arXiv:2302.04251 [math.LO]](http://oss.arxitics.com/images/favicon.svg)