Eliminating field quantifiers in strongly dependent henselian fields

DOI10.1090/proc/14203zbMath1487.03052arXiv1707.03188OpenAlexW2759280482WikidataQ129856255 ScholiaQ129856255MaRDI QIDQ4630671

Yatir Halevi, Assaf Hasson

Publication date: 23 April 2019

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

quantifier eliminationHenselian fieldsDenef-Pas languagestrongly dependent theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) General valuation theory for fields (12J20)

Related Items (10)

The valuation theory of deeply ramified fields and its connection with defect extensions ⋮ Strongly NIP almost real closed fields ⋮ Burden in Henselian valued fields ⋮ DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP ⋮ Defect extensions and a characterization of tame fields ⋮ Characterizing NIP henselian fields ⋮ Definable valuations induced by multiplicative subgroups and NIP fields ⋮ A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS ⋮ Strongly dependent ordered abelian groups and Henselian fields ⋮ Burden of Henselian valued fields in the Denef-Pas language

Cites Work

• Unnamed Item
• Relative elimination of quantifiers for Henselian valued fields
• Formally \(p\)-adic fields
• Types in valued fields with coefficient maps
• Groups definable in local fields and pseudo-finite fields
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Artin-Schreier extensions in NIP and simple fields
• Stability in geometric theories
• Strongly dependent ordered abelian groups and Henselian fields
• Maximal fields with valuations
• Dependent first order theories, continued
• Strong theories of ordered Abelian groups
• Analytic cell decomposition and analytic motivic integration
• Schlanke Körper (Slim fields)
• Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero
• A Guide to NIP Theories
• Lectures on the Model Theory of Valued Fields
• Valued Fields
• SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS
• On the angular component map modulo P

This page was built for publication: Eliminating field quantifiers in strongly dependent henselian fields