O-minimal structures
Let ${\cal M}$ be an expansion of a dense linear order $(M,\lt)$. We call ${\cal M}$ o-minimal if every definable subset of $M$ is a finite union of points and intervals. Examples (without details) By quantifier elimination, every dense linear order without endpoints is o-minimal. Let ${\cal V} = (V,\lt,+,(\lambda_k)_{k \in K})$ be an ordered…