Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)
From MaRDI portal
Publication:6142637
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
local fieldsresolution of singularitiespositive characteristicHenselian valued fieldlocal uniformizationdecision algorithmexistential theory
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