Real Algebraic and Analytic Geometry
Submission: 2013, January 21.
We show that if R is an o-minimal expansion of a field and V a convex subring, then (R, V ) is model complete (relative to quanti-fier elimination in R) if the corresponding residue field with structure induced from R is o-minimal.
Full text, 23p.: pdf 221k.