Definable Valuations Induced by Definable Subgroups

DOI10.1007/978-3-319-51718-6_5zbMath1436.03197arXiv1603.09196OpenAlexW2313523744MaRDI QIDQ3298248

Katharina Dupont

Publication date: 14 July 2020

Published in: Groups, Modules, and Model Theory - Surveys and Recent Developments (Search for Journal in Brave)

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

zbMATH Keywords

valuationsdefinable valuations\(q\)-Henselian valued fields\(t\)-Henselian topologies

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Interpolation, preservation, definability (03C40) Model theory of fields (12L12) Valued fields (12J10)

Related Items (3)

Definable V-topologies, Henselianity and NIP ⋮ Recent progress on definability of Henselian valuations ⋮ A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS

Cites Work

• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• \(p\)-Henselian fields
• Definable valuations induced by multiplicative subgroups and NIP fields
• Uniformly defining \(p\)-Henselian valuations
• A criterion for \(p\)-Henselianity in characteristic \(p\)
• AN EXISTENTIAL ∅-DEFINITION OF IN
• DEFINABLE HENSELIAN VALUATIONS
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• Uniform definability of henselian valuation rings in the Macintyre language:
• Shorter Notes: On the Undecidability of Power Series Fields
• Valued Fields
• DP-MINIMAL VALUED FIELDS
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Definable Valuations Induced by Definable Subgroups