Existential fragments of theories of henselian valued fields

Arno Fehm; Sylvy Anscombe

arxiv: 2601.17395 · v2 · submitted 2026-01-24 · 🧮 math.LO · math.NT

Existential fragments of theories of henselian valued fields

Sylvy Anscombe , Arno Fehm This is my paper

Pith reviewed 2026-05-16 11:36 UTC · model grok-4.3

classification 🧮 math.LO math.NT

keywords henselian valued fieldsexistential theoryaxiomatizationdecidabilityequicharacteristicmixed characteristicformal Laurent seriesvalued fields

0 comments

The pith

The existential three-quantifier theory of F_q((t)) admits an unconditional axiomatization in the language of valued fields with a parameter for t.

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

The paper studies fragments of the existential theory of henselian valued fields that include parameters. It treats the existential n-fragment in the equicharacteristic and unramified mixed-characteristic cases, the existential n existential one-fragment in the equicharacteristic case, and the existential n-fragment when the residue characteristic is zero. A concrete outcome is an axiomatization of the existential three-fragment for the field of formal Laurent series over a finite field, which immediately yields decidability of that fragment. A reader would care because valued fields appear throughout algebra and geometry, and knowing which existential sentences are true helps determine what algorithmic questions about roots and valuations can be settled.

Core claim

We obtain an unconditional axiomatization (and thereby decidability) of the ∃3-theory of F_q((t)) in the language of valued fields with a parameter for t. More generally, the existential n-fragment is axiomatized in the equicharacteristic or unramified mixed characteristic case, the existential n existential one-fragment is treated in the equicharacteristic case, and the existential n-fragment is handled when the residue characteristic is zero.

What carries the argument

The existential n-fragment of the theory of a henselian valued field, which transfers existential statements from the residue field back to the valued field via henselian lifts.

If this is right

The existential three-fragment of the theory of F_q((t)) is decidable.
The existential n-fragment of henselian valued fields is axiomatizable in the equicharacteristic case.
Analogous axiomatizations hold in the unramified mixed-characteristic case.
The existential n-fragment is axiomatizable when the residue characteristic is zero.
Decidability of the indicated fragments follows directly from the axiomatizations.

Where Pith is reading between the lines

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

The results may supply decision procedures for certain existential sentences that arise in the study of algebraic varieties over these fields.
Further work could test whether the same techniques bound the quantifier complexity needed for the full first-order theory.
The axiomatizations might interact with known results on the model theory of algebraically closed valued fields to produce new relative decidability statements.

Load-bearing premise

The valued fields under consideration are henselian in the equicharacteristic case, unramified mixed characteristic, or with residue characteristic zero.

What would settle it

A concrete existential sentence with three quantifiers that is true in F_q((t)) but is not a logical consequence of the listed axioms would refute the claimed axiomatization.

read the original abstract

We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the equicharacteristic case, and the $\exists_n$-fragment in the residue characteristic zero case. For example, we obtain an unconditional axiomatization (and thereby decidability) of the $\exists_3$-theory of $\mathbb{F}_{q}(\!(t)\!)$ in the language of valued fields with a parameter for $t$.

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

The paper gives an unconditional axiomatization of the ∃3-theory of F_q((t)) in the valued-field language with a parameter for t, plus related results on existential fragments for henselian fields.

read the letter

The main thing to know is that Anscombe and Fehm produce an unconditional axiomatization for the existential 3-theory of the formal Laurent series field F_q((t)), using the language of valued fields plus a constant for the uniformizer t. This directly gives decidability for that fragment. They obtain it as a special case of broader results on ∃n-fragments for henselian valued fields in equicharacteristic, unramified mixed characteristic, and residue characteristic zero settings, along with the ∃n∃1-fragment in the equicharacteristic case. The work stays within the standard framework for henselian fields and focuses on pinning down axioms that suffice for these limited quantifier complexities. What the paper does cleanly is turn the general setup into a concrete, assumption-free statement for F_q((t)). The handling of parameters and the separation of fragment types shows attention to how the valuation interacts with the residue field and value group. The claims line up with existing Ax-Kochen-Ershov style results without introducing new circular dependencies or free parameters. The soft spots are limited. The results stay inside the henselian equicharacteristic or unramified cases listed, so they do not cover ramified mixed characteristic without further work; that is stated explicitly rather than hidden. Since the abstract is precise, the main task for a referee would be to verify that the reductions from the general henselian theory to the specific fragments go through without extra assumptions on the value group or residue field. This paper is for model theorists who care about decidability questions for valued fields and existential theories. A reader working on fragments of field theories or computability in algebra would find the F_q((t)) corollary and the fragment classifications useful. I would send it to peer review. The central claim is grounded enough to merit checking the details.

Referee Report

0 major / 2 minor

Summary. The manuscript studies fragments of the existential theory of henselian valued fields with parameters. This includes the ∃_n-fragment in the equicharacteristic or unramified mixed characteristic case, the ∃_n∃_1-fragment in the equicharacteristic case, and the ∃_n-fragment in the residue characteristic zero case. For example, it obtains an unconditional axiomatization (and thereby decidability) of the ∃_3-theory of F_q((t)) in the language of valued fields with a parameter for t.

Significance. If the results hold, the work supplies unconditional axiomatizations for existential fragments of henselian valued field theories in several characteristic regimes, yielding decidability for the concrete case of F_q((t)) without extra parameters or assumptions on the value group or residue field. This strengthens the model-theoretic toolkit for valued fields by providing explicit, parameter-free descriptions of existential definability in the valued-field language.

minor comments (2)

[Abstract] The abstract states the main results clearly but does not indicate the proof strategy (e.g., whether it proceeds via quantifier elimination, model-theoretic transfer, or explicit axiom schemes); a one-sentence outline would help readers locate the technical core.
Notation for the fragments (∃_n, ∃_n∃_1) should be defined once in the introduction with a precise reference to the language and the number of quantifiers; subsequent sections appear to use it consistently but an early definition would prevent ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the clear summary of its contributions, and the recommendation for minor revision. We appreciate the recognition that the work provides unconditional axiomatizations and decidability results for existential fragments in several characteristic regimes.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives axiomatizations of existential fragments for henselian valued fields in equicharacteristic, unramified mixed, and residue-characteristic-zero cases, with the ∃3-theory of F_q((t)) obtained as a special case. These results are presented as building directly on established model theory of henselian fields (e.g., Ax-Kochen-Ershov-type theorems) without any load-bearing self-citations, fitted parameters renamed as predictions, or self-definitional reductions. The central claims remain independent of the paper's own inputs, as the axiomatizations are unconditional and the derivation chain does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard axioms of first-order logic and the definition of henselian valuations in various characteristics; no free parameters or new entities are introduced.

axioms (2)

standard math Axioms of first-order logic and model theory for defining theories and quantifier fragments
Invoked to study existential fragments of the theory.
domain assumption Henselian property for valued fields
The paper studies fragments of the existential theory of such fields.

pith-pipeline@v0.9.0 · 5387 in / 1202 out tokens · 33541 ms · 2026-05-16T11:36:49.644257+00:00 · methodology

Existential fragments of theories of henselian valued fields

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)