Elimination results for tame fields with finite residue fields
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915965701193728 |
|---|---|
| author | Anscombe, Sylvy Boissonneau, Blaise |
| author_facet | Anscombe, Sylvy Boissonneau, Blaise |
| contents | 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]$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_26129 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Elimination results for tame fields with finite residue fields Anscombe, Sylvy Boissonneau, Blaise Logic 03C60, 12J20 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]$. |
| title | Elimination results for tame fields with finite residue fields |
| topic | Logic 03C60, 12J20 |
| url | https://arxiv.org/abs/2604.26129 |