Abstract
LetM be an o-minimal expansion of a real closed field R. We define the notion of a lattice in a locally definable group and then prove that every connected, definably generated subgroup of hRn; Ci contains a definable generic set and therefore admits a lattice.
Original language | English |
---|---|
Pages (from-to) | 449-461 |
Number of pages | 13 |
Journal | Notre Dame Journal of Formal Logic |
Volume | 54 |
Issue number | 3-4 |
DOIs | |
State | Published - 2013 |
Keywords
- Generic sets
- Lattices
- Locally definable groups
- O-minimality
ASJC Scopus subject areas
- Logic