DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP

DOI10.1017/jsl.2022.34arXiv2105.09234OpenAlexW3163876760MaRDI QIDQ6095974

Unnamed Author, Salma Kuhlmann, Lothar Sebastian Krapp

Publication date: 11 September 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Henselian valued fieldsordered abelian groupsdefinable valuations\(t\)-Henselianity

Mathematics Subject Classification ID

Non-Archimedean valued fields (12J25) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Valued fields (12J10) Henselian rings (13J15)

Related Items (1)

Definable valuations on ordered fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strongly dependent theories
• Ordered exponential fields
• Ordered fields dense in their real closure and definable convex valuations
• Definable valuations induced by multiplicative subgroups and NIP fields
• Strongly dependent ordered abelian groups and Henselian fields
• Henselianity in the language of rings
• On the quantifier complexity of definable canonical Henselian valuations
• Some model theory for almost real closed fields
• A transfer theorem for Henselian valued and ordered fields
• The canonical topology on dp-minimal fields
• Eliminating field quantifiers in strongly dependent henselian fields
• Recent progress on definability of Henselian valuations
• Model Theory
• A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS
• DEFINABLE HENSELIAN VALUATIONS
• Defining Coarsenings of Valuations
• Definable non-divisible Henselian valuations
• Shorter Notes: On the Undecidability of Power Series Fields
• Valued Fields
• DP-MINIMAL VALUED FIELDS
• Definability and decision problems in arithmetic

This page was built for publication: DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP