Definable valuations induced by definable subgroups

DOI10.1007/978-3-319-51718-6_5MaRDI QIDQ3298248zbMATH OpenOpenAlexFDO

Authors 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

\(q\)-Henselian valued fields\(t\)-Henselian topologiesdefinable valuationsvaluations

Mathematics Subject Classification ID

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

Abstract: In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show this Koenigsmann investigates valuation rings induced by certain (definable) subgroups of the field. The aim of this paper, based on the authors PhD thesis, is to look at the methods used in the preprint in greater detail and correct a mistake in the original paper based on a paper of Jahnke and Koenigsmann.

Recommendations

• Definable Henselian valuations
• Defining coarsenings of valuations
• Some model theory for almost real closed fields
• Definable non-divisible Henselian valuations
• Definable valuations induced by multiplicative subgroups and NIP fields

Cites work

• \(p\)-Henselian fields
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• A criterion for \(p\)-Henselianity in characteristic \(p\)
• [[:Publication:5177889|An existential \(\emptyset\)-definition of \(\mathbb F_q t\) in \(\mathbb F_q((t))\)]]
• Definable Henselian valuations
• Definable valuations induced by multiplicative subgroups and NIP fields
• Dp-minimal valued fields
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• scientific article; zbMATH DE number 1601019 (Why is no real title available?)
• scientific article; zbMATH DE number 3572309 (Why is no real title available?)
• scientific article; zbMATH DE number 3078579 (Why is no real title available?)
• Shorter Notes: On the Undecidability of Power Series 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

Cited in

(7)

• Definable valuations induced by multiplicative subgroups and NIP fields
• On tolerant valuation rings
• Eliminating field quantifiers in strongly dependent henselian fields
• Recent progress on definability of Henselian valuations
• Definable V-topologies, Henselianity and NIP
• A conjectural classification of strongly dependent fields
• Implicit definability of subfields

This page was built for publication: Definable valuations induced by definable subgroups

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