Patrick Speissegger
Assume $\mathcal M$ and $S$ satisfy all of the assumptions in the exercise, including 1-4. For each $m\in\mathbb N$, define $A_m = \{x\in\Pi_n(S) : |S_x| \geq m\}$. We will show that each $A_m$ is either empty or equal to $S$, and hence that $S_x$ is equal to the minimal value of $m$ such that $A_m\neq\emptyset$.…
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…
Let ${\cal M}$ be an expansion of a dense linear order $(M,
(For some details and references, see Chapter 1 of my notes.) We fix a structure ${\cal M} = (M,