The existential theory of equicharacteristic Henselian valued fields
From MaRDI portal
Publication:299143
DOI10.2140/ant.2016.10.665zbMath1377.03025arXiv1501.04522OpenAlexW1867785326MaRDI QIDQ299143
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
Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Model-theoretic algebra (03C60) Model theory of fields (12L12) Valued fields (12J10)
Related Items
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
