Eliminating field quantifiers in strongly dependent henselian fields

DOI10.1090/PROC/14203zbMATH Open1487.03052arXiv1707.03188OpenAlexW2759280482WikidataQ129856255 ScholiaQ129856255MaRDI QIDQ4630671FDOQ4630671

Authors: Yatir Halevi, Assaf Hasson 

Publication date: 23 April 2019

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

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.

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

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

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)

Cites Work

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

Cited In (14)

• Burden of Henselian valued fields in the Denef-Pas language
• Relative elimination of quantifiers for Henselian valued fields
• 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)