有限剩余域的温和域的消除结果

在 Kuhlmann 和 Lisinski 的工作基础上，我们研究 equipped with $t$-adic valuation 的有限域 $\mathbb{F}_{q}(\!(\mathbb{Q})\!)$ 哈恩级数域的理论，该语言为 valued fields。我们证明每个公式都等价于形如 $\exists y\colon f(x_{1},\ldots,x_{n},y)=0$ 的公式，其中 $f\in\mathbb{Z}[x_{1},\ldots,x_{n},y]$。