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/