The existential theory of equicharacteristic Henselian valued fields

DOI10.2140/ANT.2016.10.665zbMATH Open1377.03025arXiv1501.04522OpenAlexW1867785326MaRDI QIDQ299143FDOQ299143

Authors: Sylvy Anscombe, Arno Fehm 

Publication date: 22 June 2016

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

Abstract: We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory of an equicharacteristic henselian valued field (of arbitrary characteristic) is determined by the existential theory of the residue field; in particular, it is independent of the value group. As an immediate corollary, we get an unconditional proof of the decidability of the existential theory of $mathbb{F}_q((t))$.

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

Recommendations

• scientific article
• Relative elimination of quantifiers for Henselian valued fields
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• scientific article
• Indécidabilité de la théorie des paires immédiates de corps valués henseliens

zbMATH Keywords

decidabilityDiophantine equationsHenselian valued fields

Mathematics Subject Classification ID

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

Cited In (14)

• Elementary properties of power series fields over finite fields
• Existentially generated subfields of large fields
• Geometric axioms for existentially closed Hasse fields
• Title not available (Why is that?)
• Decidability via the tilting correspondence
• Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)
• Théories complètes de paires de corps valués henseliens
• Title not available (Why is that?)
• Henselianity in the language of rings
• An undecidability result for the asymptotic theory of \(p\)-adic fields
• Diophantine problems over tamely ramified fields
• Title not available (Why is that?)
• Ax-Kochen-Ershov principles for finitely ramified Henselian fields
• Existential decidability for addition and divisibility in holomorphy subrings of global fields

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

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