On the quantifier complexity of definable canonical Henselian valuations

DOI10.1002/malq.201400108zbMath1372.03075arXiv1411.6844OpenAlexW1519912729MaRDI QIDQ2947240

Franziska Jahnke, Arno Fehm

Publication date: 22 September 2015

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (5)

Henselianity in the language of rings ⋮ A definable Henselian valuation with high quantifier complexity ⋮ DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP ⋮ Definable valuations on ordered fields ⋮ Recent progress on definability of Henselian valuations

Cites Work

• Unnamed Item
• Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
• Mathematical logic and model theory. A brief introduction
• Existential equivalence of ordered abelian groups with parameters
• Cancellation and absorption of lexicographic powers of totally ordered Abelian groups
• Algebraic number fields elementarily determined by their absolute Galois group
• \(p\)-Henselian fields
• Uniformly defining \(p\)-Henselian valuations
• Non-Ample Complete Valued Fields
• On places of algebraic function fields.
• Model Theory
• AN EXISTENTIAL ∅-DEFINITION OF IN
• DEFINABLE HENSELIAN VALUATIONS
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• Definable non-divisible Henselian valuations
• Shorter Notes: On the Undecidability of Power Series Fields

This page was built for publication: On the quantifier complexity of definable canonical Henselian valuations