Prefer a chat interface with context about you and your work?
Some Model Theory of Compact Lie Groups
We consider questions of first order definability in a compact Lie group $G$. Our main result is that if such $G$ is simple (and centerless) then the Lie group structure of $G$ is first order definable from the abstract group structure. Along the way we also show (i) if $G$ …