Elimination results for tame fields with finite residue fields

Abstract

Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field $\mathbb{F}_{q}(\!(\mathbb{Q})\!)$, over a finite field $\mathbb{F}_{q}$, equipped with the $t$-adic valuation, in a language of valued fields. We prove that every formula is equivalent to a formula $\exists y\colon f(x_{1},\ldots,x_{n},y)=0$, for a polynomial $f\in\mathbb{Z}[x_{1},\ldots,x_{n},y]$.