Prefer a chat interface with context about you and your work?
SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
In this paper, we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.