Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)

DOI10.2140/ant.2023.17.2013arXiv2205.05438OpenAlexW4387308212MaRDI QIDQ6142637

Philip Dittmann, Sylvy Anscombe, Arno Fehm

Publication date: 4 January 2024

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

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

zbMATH Keywords

local fieldsresolution of singularitiespositive characteristicHenselian valued fieldlocal uniformizationdecision algorithmexistential theory

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Varieties over finite and local fields (11G25) (p)-adic and power series fields (11D88)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existential theory of equicharacteristic Henselian valued fields
• The algebra and model theory of tame valued fields
• Henselian implies large
• Embeddings of function fields into ample fields
• Ultraproducts and approximation in local rings. I
• Abspaltung des Radikals in vollständigen lokalen Ringen
• Desingularization of quasi-excellent schemes in characteristic zero
• Model theory.
• Places of algebraic function fields in arbitrary characteristic
• Embedding problems over large fields
• Random Galois extensions of Hilbertian fields
• An undecidability result for the asymptotic theory of \(p\)-adic fields
• Diophantine problems over tamely ramified fields
• Existential decidability for addition and divisibility in holomorphy subrings of global fields
• Inseparable local uniformization
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Algebraic Patching
• NOTES ON EXTREMAL AND TAME VALUED FIELDS
• Field Arithmetic
• Néron Models
• Constructions in Algebra
• Recent progress on definability of Henselian valuations
• Undecidability in Number Theory
• Characterizing diophantine henselian valuation rings and valuation ideals
• Rational points in Henselian discrete valuation rings