Model completeness of o-minimal fields with convex valuations

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Abstract: 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, in which R has elimination of quantifiers, and a predicate for V, and we let

L_{R_{0}}

be the language L expanded by constants for all elements of

R_{0}

. Our main result is that (R,V) considered as an

L_{R_{0}}

-structure is model complete provided that

k_{R}

, the corresponding residue field with structure induced from R, is o-minimal. Along the way we show that o-minimality of

k_{R}

implies that the sets definable in

k_{R}

are the same as the sets definable in k with structure induced from (R,V). We also give a criterion for a superstructure of (R,V) being an elementary extension of (R,V).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Model completeness of o-minimal fields with convex valuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5251368)