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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
k-triviality collapses to 1-triviality among simple theories, yielding new non-k-ary examples of strongly k-distal theories and implying that certain stable theories are trivial.
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.
-
Higher-arity distality and forking triviality
k-triviality collapses to 1-triviality among simple theories, yielding new non-k-ary examples of strongly k-distal theories and implying that certain stable theories are trivial.