Solvable Lie groups definable in o-minimal theories

Abstract

In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.