Real Algebraic and Analytic Geometry

Preprint Server

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

e-mail:

Submission: 2013, January 21.

Abstract:
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