Solvable groups definable in o-minimal structures
  Let N be an o-minimal structure. In this paper we develop group extension and group cohomology theory over N and use it to describe the N-definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal'cev theorem and we describe the N-definable G-modules and the N-definable rings. 
Mario J. Edmundo