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

Submission date: 30 November 2012.


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: March 23 2021 10:22 Please send your corrections to: