MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 538

Preprint Number 538

Previous Next Preprint server


538. Clifton Ealy and Jana Marikova
Model completeness of o-minimal fields with convex valuations
E-mail:

Submission date: 30 November 2012.

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 quantifier elimination in R) if the corresponding residue field with structure induced from R is o-minimal.

Mathematics Subject Classification: 03C10, 03C64

Keywords and phrases:

Full text arXiv 1211.6755: pdf, ps.


Last updated: November 30 2012 12:35 Please send your corrections to: