Let be an o-minimal expansion of a real closed field . We define the notion of a lattice in a locally definable group and then prove that every connected, definably generated subgroup of contains a definable generic set and therefore admits a lattice.
"Lattices in Locally Definable Subgroups of ." Notre Dame J. Formal Logic 54 (3-4) 449 - 461, 2013. https://doi.org/10.1215/00294527-2143889