Topological groups, μ-types and their stabilizers

Ya'Acov Peterzil, Sergei Starchenko

We consider an arbitrary topological group $G$ definable in a structure $\mathcal{M}$, such that some basis for the topology of $G$ consists of sets definable in $\mathcal{M}$. To ea…