Past Logic Seminar

10 June 2005
Sergei Starchenko
Let M be an ordered vector space over an ordered division ring, and G a definably compact, definably connected group definable in M. We show that G is definably isomorphic to a definable quotient U/L, where U is a convex subgroup of M^n and L is a Z-lattice of rank n. This is a joint work with Panelis Eleftheriou.