Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) (Q6142637)
From MaRDI portal
scientific article; zbMATH DE number 7783172
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) |
scientific article; zbMATH DE number 7783172 |
Statements
Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) (English)
0 references
4 January 2024
0 references
local fields
0 references
positive characteristic
0 references
Henselian valued field
0 references
existential theory
0 references
decision algorithm
0 references
resolution of singularities
0 references
local uniformization
0 references
0 references
0 references
0 references
