O-minimal fields with standard part map

Abstract

Let $R$ be an o-minimal field and $V$ a proper convex subring with residue field $\boldsymbol{k}$ and standard part (residue) map $\mathop{\rm st} \colon V\to \boldsymbol{k}$. Let $\boldsymbol{k}_{\rm ind}$ be the expansion of $\boldsymbol{k}$ by the sta