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

DOI10.1016/J.APAL.2022.103206MaRDI QIDQ2105097zbMATH OpenOpenAlexFDO

Authors Clifton Ealy, Jana Maříková

Publication date 8 December 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

o-minimalityquantifier eliminationuniversal axiomatizationconvex valuation ringvaluational weakly o-minimal structure

Mathematics Subject Classification ID

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

Recommendations

• Quantifier elimination in valued Ore modules
• Quasi-analyticity, o-minimality and quantifier elimination.
• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 3914300
• scientific article; zbMATH DE number 3935016
• On the elimination of quantifier-free cuts
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Quantifier elimination for a class of intuitionistic theories
• Relative elimination of quantifiers for Henselian valued fields
• Quantifier elimination in discriminator varieties

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• T-convexity and tame extensions
• A geometric introduction to forking and thorn-forking
• A theory of pairs for non-valuational structures
• Correction to “T-convexity and tame extensions II”
• Definable choice for a class of weakly o-minimal theories
• Definable types in -minimal theories
• Elimination of quantifiers for ordered valuation rings
• Forking in VC-minimal theories
• Model completeness of o-minimal fields with convex valuations
• O-minimal residue fields of o-minimal fields
• Paires de structures O-minimales
• Triangulation in o-minimal fields with standard part map
• Weakly o-minimal structures and real closed fields

Cited in

(5)

• Expansion of a model of a weakly o-minimal theory by a family of unary predicates
• Elimination of imaginaries in expansions of o-minimal structures by generic sets
• Model completeness of o-minimal fields with convex valuations
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• Definable choice for a class of weakly o-minimal theories

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

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