The existential theory of equicharacteristic Henselian valued fields

DOI10.2140/ANT.2016.10.665zbMath1377.03025arXiv1501.04522OpenAlexW1867785326MaRDI QIDQ299143

Sylvy Anscombe, Arno Fehm

Publication date: 22 June 2016

Published in: Algebra \& Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

decidabilityDiophantine equationsHenselian valued fields

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Model-theoretic algebra (03C60) Model theory of fields (12L12) Valued fields (12J10)

Related Items (7)

Henselianity in the language of rings ⋮ Existential decidability for addition and divisibility in holomorphy subrings of global fields ⋮ Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) ⋮ Decidability via the tilting correspondence ⋮ Existentially generated subfields of large fields ⋮ An undecidability result for the asymptotic theory of \(p\)-adic fields ⋮ Diophantine problems over tamely ramified fields

This page was built for publication: The existential theory of equicharacteristic Henselian valued fields