MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS

DOI10.1017/jsl.2014.3zbMath1368.03043arXiv1211.6755OpenAlexW2963610266MaRDI QIDQ5251368

Clifton F. Ealy, Jana Maříková

Publication date: 20 May 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.6755

zbMATH Keywords

real closed fieldo-minimal structuresMorley sequencesstructures model complete

Mathematics Subject Classification ID

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

Related Items (2)

Measuring definable sets in o-minimal fields ⋮ Quantifier elimination for o-minimal structures expanded by a valuational cut

Cites Work

• O-minimal residue fields of o-minimal fields
• Real closed rings. II. Model theory
• O-minimal fields with standard part map
• Triangulation in o-minimal fields with standard part map
• A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Embedded o-minimal structures

This page was built for publication: MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS