The theory of the Hahn series field F_q((Q)) with t-adic valuation admits quantifier elimination to existential polynomial equations in the language of valued fields.
1, 40225 Düsseldorf, Germany Email address:blaise.boissonneau@hhu.de
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Elimination results for tame fields with finite residue fields
The theory of the Hahn series field F_q((Q)) with t-adic valuation admits quantifier elimination to existential polynomial equations in the language of valued fields.