“…Although real Lie groups are outside the domain of stability, they are, more or less, groups definable in o-minimal theories, and have been studied by model theorists from this point of view for some time. A common Examples of structures satisfying the assumption of the theorem are any model of a stable theory, (R, +, ·), (Q p , +, ·), (Z, +, <) (see [4,Section 5] for a discussion of this phenomenon).…”