Recent progress on definability of Henselian valuations
From MaRDI portal
Publication:4635361
DOI10.1090/CONM/697/14049zbMATH Open1388.12012arXiv1608.02342OpenAlexW2490222009MaRDI QIDQ4635361FDOQ4635361
Publication date: 16 April 2018
Published in: Ordered Algebraic Structures and Related Topics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1608.02342
Model-theoretic algebra (03C60) Field arithmetic (12E30) Valued fields (12J10) Model theory of fields (12L12)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Field Arithmetic
- Model Theory
- Valued Fields
- Superrosy fields and valuations
- On \(n\)-dependent groups and fields
- Shorter Notes: On the Undecidability of Power Series Fields
- Notes on the stability of separably closed fields
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
- Uniformly defining \(p\)-Henselian valuations
- Definable Henselian valuation rings
- Characterizing diophantine henselian valuation rings and valuation ideals
- Uniform definability of henselian valuation rings in the Macintyre language:
- A Guide to NIP Theories
- Rigid elements, valuations, and realization of Witt rings
- Definable Valuations Induced by Definable Subgroups
- On the quantifier complexity of definable canonical Henselian valuations
- Elementary characterization of fields by their absolute Galois group
- \(p\)-Henselian fields
- Some model theory for almost real closed fields
- The canonical topology on dp-minimal fields
- DEFINABLE HENSELIAN VALUATIONS
- Defining Coarsenings of Valuations
- Definable non-divisible Henselian valuations
- AN EXISTENTIAL ∅-DEFINITION OF IN
- EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
- Henselianity in the language of rings
- A definable Henselian valuation with high quantifier complexity
Cited In (7)
- EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
- Ordered fields dense in their real closure and definable convex valuations
- Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)
- 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
- On some definable sets over fields with analytic structure
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)
