arxiv: 2604.26129 · v1 · submitted 2026-04-28 · 🧮 math.LO

Recognition: unknown

Elimination results for tame fields with finite residue fields

Blaise Boissonneau, Sylvy Anscombe

Pith reviewed 2026-05-07 13:50 UTC · model grok-4.3

classification 🧮 math.LO

keywords model theoryvalued fieldsquantifier eliminationHahn series fieldstame fieldsfinite residue fieldsdefinability

0 comments

The pith

In the Hahn series field over a finite field with rational exponents, every first-order formula reduces to one existential polynomial equation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors show that the theory of the valued field F_q((Q)) with t-adic valuation admits a strong form of quantifier reduction: any formula is logically equivalent to an existential formula asserting that a single polynomial with integer coefficients vanishes. This holds in the language of valued fields and relies on the field's tameness together with its finite residue field. A reader would care because the result gives an explicit geometric description of all definable sets as projections of zero loci, making the definable geometry of these infinite structures surprisingly simple. The proof extends earlier tameness results to obtain this concrete normal form.

Core claim

Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field F_q((Q)), over a finite field F_q, equipped with the t-adic valuation, in a language of valued fields. We prove that every formula is equivalent to a formula ∃y : f(x1,…,xn,y)=0, for a polynomial f∈Z[x1,…,xn,y].

What carries the argument

Reduction of arbitrary formulas to a single existential quantifier over a polynomial equation with integer coefficients, using the tameness of the Hahn series field with finite residue field.

If this is right

Every definable set in the field is the projection of the zero set of a single polynomial with integer coefficients.
The structure has a restricted form of quantifier elimination sufficient to describe all definable relations geometrically.
The theory inherits simplification properties from the tameness assumptions established in prior work on these fields.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar elimination may hold for other tame Hahn series fields with finite residues once the same tameness conditions are verified.
The result supplies a normal form that could be used to decide truth of sentences by reducing them to polynomial solvability questions.
The finite-residue restriction appears essential, so the same reduction is unlikely to hold for fields with infinite residue fields without additional structure.

Load-bearing premise

The field must be a tame Hahn series field with finite residue field and t-adic valuation.

What would settle it

Exhibit a concrete first-order formula in the language of valued fields over F_q((Q)) that cannot be rewritten as ∃y f(x,y)=0 for any integer polynomial f.

read the original 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]$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a concrete quantifier elimination for the Hahn series field F_q((Q)) by reducing every formula to an existential polynomial equation over Z.

read the letter

The core result is that for the t-adically valued Hahn series field over a finite field with value group Q, every formula in the valued-field language is equivalent to one of the form exists y f(x1..xn,y)=0 with f in Z[x's,y]. This is a direct extension of the tameness work by Kuhlmann and Lisinski, and the finite residue field is used to control the definability so the reduction lands on integer coefficients rather than something more complicated. That is the actual new piece: a strong, explicit elimination theorem for this particular test-case structure. The argument looks clean on the abstract and stress-test description, with no obvious circularity or hidden parameters. The proof strategy invokes the established tameness properties and derives the elimination from them without introducing new fitting or self-referential definitions. One minor soft spot is that the result stays tightly tied to finite residue fields and the specific Hahn series setup; it does not claim broader generality, and anyone wanting to apply it elsewhere will still need to check the tameness hypotheses separately. The citation pattern is appropriate, pointing back to the prior tameness paper without over-claiming independence. This is the kind of targeted model-theoretic result that model theorists working on valued fields and decidability questions will want to see. It is solid enough to deserve a serious referee, even if the full details need checking for any small gaps in the reduction steps. I would bring it to a reading group if the group is already looking at quantifier elimination in algebra, otherwise probably not. I would not cite it in my own work unless I had a direct application to these fields.

Referee Report

0 major / 2 minor

Summary. The paper proves that for the Hahn series field F_q((Q)) equipped with the t-adic valuation, in the language of valued fields, every formula is equivalent to an existential formula ∃y : f(x1,…,xn,y)=0 where f is a polynomial with coefficients in Z. The argument invokes tameness properties of this structure (value group Q, finite residue field F_q) from the cited work of Kuhlmann and Lisinski to derive the elimination directly.

Significance. If the derivation holds, the result supplies a strong elimination theorem that reduces all definable sets in this tame valued field to the zero set of a single integer polynomial in one extra variable. This is a concrete advance over standard quantifier elimination results for valued fields and exploits the finiteness of the residue field to control residue-field definability without introducing extra parameters. The manuscript correctly ties the reduction to the specific Hahn series construction and the tameness hypotheses.

minor comments (2)

[Introduction] The precise signature of the language of valued fields (e.g., whether it includes a predicate for the valuation ring, a function symbol for the valuation, or residue-field operations) should be stated explicitly in the introduction or §1, even if it is the standard one.
When invoking tameness from Kuhlmann-Lisinski, cite the specific theorems or propositions used (rather than the work as a whole) so that the logical steps are immediately verifiable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition of the significance of the existential elimination result for the Hahn series field in the language of valued fields, and for recommending acceptance.

Circularity Check

0 steps flagged

No circularity: direct proof from external tameness assumptions

full rationale

The paper derives the claimed elimination result (every formula equivalent to an existential polynomial equation over Z) by invoking tameness properties of the Hahn series field F_q((Q)) established in the independent prior work of Kuhlmann and Lisinski. No step reduces by the paper's own equations to a fitted parameter, self-definition, or self-citation chain; the central equivalence is obtained directly in the fixed language without renaming known results or smuggling ansatzes. The derivation remains self-contained against the stated external assumptions, with the finite residue field used only to control definability as described.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard axioms of fields and valuations plus the tameness and residue-field properties of the Hahn series construction; no free parameters or new entities are introduced.

axioms (2)

standard math Standard axioms for valued fields (field operations, valuation axioms, ordered abelian group for value group)
Invoked implicitly by working in the language of valued fields.
domain assumption Tameness and residue-field finiteness properties of the Hahn series field F_q((Q)) as established by Kuhlmann and Lisinski
The abstract explicitly builds on that prior work for the base theory.

pith-pipeline@v0.9.0 · 5376 in / 1300 out tokens · 54719 ms · 2026-05-07T13:50:49.640014+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 12 canonical work pages

[1]

Anscombe and A

arXiv:2505.07518 [math.LO] [AF17] S. Anscombe and A. Fehm. Characterizing diophantine henselian valuation rings and valuation ideals.Proceedings of the London Mathemat- ical Society, 115, 293–322,

work page arXiv
[2]

Anscombe and A

arXiv:2312.17616 [math.LO] [AF26a] S. Anscombe and A. Fehm. Universal-existential theories of fields.Proceedings of the Edinburgh Mathematical Society, 69(1):95–124,

work page arXiv
[3]

Anscombe and J

[AK14] S. Anscombe and J. Koenigsmann. An existential∅-definition of𝔽 𝑞[[𝑡]]in𝔽𝑞((𝑡)).J. Symb. Log.79 (2014), no. 4, 1336–1343. [AK16] S. Anscombe and F.-V. Kuhlmann. Notes on extremal and tame valued fields.J. Symb. Log., 81 (2016), no. 2, 400–416. [Boi22] B. Boissonneau.Combinatorial complexity in henselian valued fields: pushing Anscombe–Jahnke up the ...

2014
[4]

Boissonneau

doi:10.17879/82039669398 [Boi24a] B. Boissonneau. Artin–Schreier extensions and combinatorial complexity in henselian valued fields.J. Symb. Logic, 89(4):1747–1767,

work page doi:10.17879/82039669398
[5]

Boissonneau.NIPn CHIPS.Manuscript,

doi:10.1017/jsl.2024.34 [Boi24b] B. Boissonneau.NIPn CHIPS.Manuscript,

work page doi:10.1017/jsl.2024.34 2024
[6]

Chernikov

arXiv:2401.04697 [math.LO] [Che14] A. Chernikov. Theories without the tree property of the second kind.Annals of Pure and Applied Logic, 165(2):695–723,

work page arXiv
[7]

Cluckers, J

doi:10.1016/j.apal.2013.10.002 [CDLM] R. Cluckers, J. Derakhshan, E. Leenknegt, and A. Macintyre. Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Ann. Pure Appl. Logic, 164 (2013), no. 12, 1236–1246. [DM77] J. K. Deveney and J. N. Mordeson. Subfields and invariants of inseparable field extensions.C...

work page doi:10.1016/j.apal.2013.10.002 2013
[8]

[Feh15] A. Fehm. Existential∅-definability of Henselian valuation rings.J. Symb. Log., 80 (2015), no. 1, 301–307. [FJ17] A. Fehm and F. Jahnke. Recent Progress on Definability of Henselian Valuations.Mathematics 697, 2017, pp. 135-143. [HHJ20] Y. Halevi, A. Hasson and F. Jahnke. Definable V-topologies, Henselianity and NIP.Journal of Mathematical Logic, 2...

work page doi:10.1002/malq.201400080 2015
[9]

Kuhlmann

arXiv:2601.05790 [math.LO] [Kuh16] F.-V. Kuhlmann. The algebra and model theory of tame valued fields.J. reine angew. Math., 719:1–43,

work page arXiv
[10]

Kuhlmann and A

[KR23] F.-V. Kuhlmann and A. Rzepka. The valuation theory of deeply ramified fields and its connection with defect extensions. Trans. Amer. Math. Soc. 376, 2693-2738, 2023.doi:10.1090/tran/8790 [Lis21] V. Lisinski.Model theory and algebra of positive characteristic Hahn fields.PhD Thesis, University of Oxford,

work page doi:10.1090/tran/8790 2023
[11]

Lisinski.Approximation and algebraicity in positive characteristic Hahn fields.Manuscript,

arXiv:2108.04132 [math.LO] [Lis23b] V. Lisinski.Approximation and algebraicity in positive characteristic Hahn fields.Manuscript,

work page arXiv
[12]

arXiv:2301.06177 [math.NT] [Pos44] E. L. Post. Recursively enumerable sets of positive integers and their decision problems.Bull. Amer. Math. Soc., 50:284–316,

work page arXiv
[13]

[Sh80] S. Shelah. Simple unstable theories.Annals of Mathematical Logic, Volume 19, Issue 3, 1980, Pages 177-203. [Soa16] R. I. Soare.Turing computability. Theory and applications.Theory Appl. Comput., Springer–Verlag, Berlin,

1980
[14]

1, 40225 Düsseldorf, Germany Email address:blaise.boissonneau@hhu.de

arXiv:2505.07418 [math.LO] Université Paris Cité, Sorbonne Université, CNRS, IMJ-PRG, F-75013 Paris, France Email address:sylvy.anscombe@imj-prg.fr Heinrich Heine University Düsseldorf, Faculty of Mathematics and Natural Sciences, Universitätsstr. 1, 40225 Düsseldorf, Germany Email address:blaise.boissonneau@hhu.de

work page arXiv