{"id":"arxiv/2604.26129","url":"https://arxiv.org/abs/2604.26129","tags":["math.LO"],"score":0,"title":"Elimination results for tame fields with finite residue fields","domain":"math.LO","source":"arxiv","authors":["Sylvy Anscombe","Blaise Boissonneau"],"reviews":0,"subject":"math.LO","summary":"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]$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-28","reactions":{}}