We describe a recent program from the study of definable groups in certain o-minimal structures. A central notion of this program is that of a lattice. We propose a definition of a lattice in an arbitrary first-order structure. We then use it to describe, uniformly, various structure theorems for o-minimal groups, each time recovering a lattice that captures some significant invariant of the group at hand. The analysis first goes through a local level, where a pertinent notion of pregeometry and (...) generic elements is each time introduced. (shrink)

An o-minimal expansion of an ordered group is called semi-bounded if there is no definable bijection between a bounded and an unbounded interval in it (equivalently, it is an expansion of the group by bounded predicates and group automorphisms). It is shown that every such structure has an elementary extension.

We calculate the universal Euler characteristic and universal dimension function on semilinear and semibounded sets and obtain some criteria for definable equivalence of semilinear and semibounded sets in terms of these invariants.

We define a discrete closure operator for definably complete locally o‐minimal structures. The pair of the underlying set of and the discrete closure operator forms a pregeometry. We define the rank of a definable set over a set of parameters using this fact and call it ‐dimension. A definable set X is of dimension equal to the ‐dimension of X. The structure is simultaneously a first‐order topological structure. The dimension rank of a set definable in the first‐order topological structure also (...) coincides with its dimension. (shrink)

The following two assertions are equivalent for an o-minimal expansion of an ordered group $$\mathcal M=(M,<,+,0,\ldots )$$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function $$f:A \rightarrow M$$ defined on a definable closed subset of $$M^n$$ has a definable continuous extension $$F:M^n \rightarrow M$$.

Let be an o‐minimal expansion of an ordered group, and a dense set such that certain tameness conditions hold. We introduce the notion of a product cone in, and prove: if expands a real closed field, then admits a product cone decomposition. If is linear, then it does not. In particular, we settle a question from [10].

We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.

In this note I construct a proper o-minimal expansion of the ordered additive group of rationals.