Real Algebraic and Analytic Geometry

Preprint Server

Previous   Next
346. Clifton F. Ealy, Jana Maříková:
Model completeness of o-minimal fields with convex valuations.


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.

Server Home Page