The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field

Jana Maříková

Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part…