Eliminating field quantifiers in strongly dependent henselian fields

DOI10.1090/PROC/14203MaRDI QIDQ4630671zbMATH OpenOpenAlexWikidataFDO

Authors 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

Henselian fieldsquantifier eliminationDenef-Pas languagestrongly dependent theory

Mathematics Subject Classification ID

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

Abstract: We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizing algebraically maximal Kaplansky fields. We deduce that if $(K,v)$ is strongly dependent then so is its henselization.

Recommendations

• Onn-dependent groups and fields II
• The classification of dp-minimal and dp-small fields
• Definable valuations induced by definable subgroups
• Uniformly defining \(p\)-Henselian valuations
• On a class of Henselian fields
• Definable valuations induced by multiplicative subgroups and NIP fields
• Finite Extensions of Valued Fields
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Strongly NIP almost real closed fields
• The algebra and model theory of tame valued fields

Cites work

• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• A Guide to NIP Theories
• Analytic cell decomposition and analytic motivic integration
• Artin-Schreier extensions in NIP and simple fields
• Dependent first order theories, continued
• Formally p-adic fields
• Groups definable in local fields and pseudo-finite fields
• Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
• Lectures on the model theory of valued fields
• Maximal fields with valuations
• On the angular component map modulo P
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Relative elimination of quantifiers for Henselian valued fields
• Schlanke Körper (slim fields)
• Some properties of analytic difference valued fields
• Stability in geometric theories
• Strong theories of ordered abelian groups
• Strongly dependent ordered abelian groups and Henselian fields
• Types in valued fields with coefficient maps
• Valued Fields

Cited in

(15)

• Burden of Henselian valued fields in the Denef-Pas language
• Relative elimination of quantifiers for Henselian valued fields
• Onn-dependent groups and fields II
• Definable valuations induced by multiplicative subgroups and NIP fields
• Henselianity and the Denef-Pas language
• Strongly NIP almost real closed fields
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Strongly dependent ordered abelian groups and Henselian fields
• The valuation theory of deeply ramified fields and its connection with defect extensions
• Burden in Henselian valued fields
• Corrigendum to: ``Strongly dependent ordered abelian groups and Henselian fields
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Defect extensions and a characterization of tame fields
• A conjectural classification of strongly dependent fields
• Characterizing NIP henselian fields

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

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