Recent progress on definability of Henselian valuations

DOI10.1090/CONM/697/14049MaRDI QIDQ4635361zbMATHOpenAlexFDO

Authors Arno Fehm, Franziska Jahnke

Publication date 16 April 2018

Published in Ordered Algebraic Structures and Related Topics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Field arithmetic (12E30) Valued fields (12J10) Model theory of fields (12L12)

Abstract: Although the study of the definability of henselian valuations has a long history starting with J. Robinson, most of the results in this area were proven during the last few years. We survey these results which address the definability of concrete henselian valuations, the existence of definable henselian valuations on a given field, and questions of uniformity and quantifier complexity.

Recommendations

• On the quantifier complexity of definable canonical Henselian valuations
• Definable Henselian valuations
• A definable Henselian valuation with high quantifier complexity
• Uniform definability of henselian valuation rings in the Macintyre language
• Defining coarsenings of valuations

Cites work

• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• scientific article; zbMATH DE number 3430640 (Why is no real title available?)
• A Guide to NIP Theories
• A definable Henselian valuation with high quantifier complexity
• [[Publication:5177889|An existential \(\emptyset\)-definition of \(\mathbb F_q t\) in \(\mathbb F_q((t))\)]]
• Characterizing Diophantine Henselian valuation rings and valuation ideals
• Definable Henselian valuation rings
• Definable Henselian valuations
• Definable non-divisible Henselian valuations
• Definable valuations induced by definable subgroups
• Defining coarsenings of valuations
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• Elementary characterization of fields by their absolute Galois group
• Field Arithmetic
• Henselianity in the language of rings
• Model Theory
• Notes on the stability of separably closed fields
• On \(n\)-dependent groups and fields
• On the quantifier complexity of definable canonical Henselian valuations
• Rigid elements, valuations, and realization of Witt rings
• Shorter Notes: On the Undecidability of Power Series Fields
• Some model theory for almost real closed fields
• Superrosy fields and valuations
• The canonical topology on dp-minimal fields
• Uniform definability of henselian valuation rings in the Macintyre language
• Uniformly defining \(p\)-Henselian valuations
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• Valued Fields
• \(p\)-Henselian fields

Cited in

(8)

• Ordered fields dense in their real closure and definable convex valuations
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• On the quantifier complexity of definable canonical Henselian valuations
• On some definable sets over fields with analytic structure
• Defining integer-valued functions in rings of continuous definable functions over a topological field
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Definable valuations on ordered fields
• Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)

This page was built for publication: Recent progress on definability of Henselian valuations

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