Model completeness of o-minimal fields with convex valuations

Clifton Ealy, Jana Maříková

We let R be an o-minimal expansion of a field, V a convex subring, and $(R_0,V_0)$ an elementary substructure of (R,V). We let L be the language consisting of a language for R,…