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
    0 references
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references