Quantifier elimination for o-minimal structures expanded by a valuational cut

DOI10.1016/J.APAL.2022.103206OpenAlexW3034408416MaRDI QIDQ2105097

Jana Maříková, Clifton F. Ealy

Publication date: 8 December 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

quantifier eliminationo-minimalityuniversal axiomatizationconvex valuation ringvaluational weakly o-minimal structure

Mathematics Subject Classification ID

Non-Archimedean valued fields (12J25) Model theory of ordered structures; o-minimality (03C64) Ordered fields (12J15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Cites Work

• Unnamed Item
• Definable choice for a class of weakly o-minimal theories
• O-minimal residue fields of o-minimal fields
• Triangulation in o-minimal fields with standard part map
• A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
• Elimination of quantifiers for ordered valuation rings
• Paires de structures O-minimales
• Correction to “T-convexity and tame extensions II”
• Definable types in -minimal theories
• Weakly o-minimal structures and real closed fields
• T-convexity and tame extensions
• Forking in VC-minimal theories
• A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES
• MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS

This page was built for publication: Quantifier elimination for o-minimal structures expanded by a valuational cut