Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V → k. Let be the expansion of k by the standard parts of the definable relations in R. We investigate the definable sets in and conditions on (R,V) which imply o-minimality of . We also show that if R is ω-saturated and V is the convex hull of ℚ in R, then the sets definable in are exactly the standard parts of the sets definable in (R,V).
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm209-2-2, author = {Jana Ma\v r\'\i kov\'a}, title = {O-minimal fields with standard part map}, journal = {Fundamenta Mathematicae}, volume = {209}, year = {2010}, pages = {115-132}, zbl = {1221.03029}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm209-2-2} }
Jana Maříková. O-minimal fields with standard part map. Fundamenta Mathematicae, Tome 209 (2010) pp. 115-132. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm209-2-2/