Existential Theory of Henselian Valued Fields

• Existential theory of Henselian valued fields provides a framework for defining valuation rings via parameter-free existential formulas and transferring decidability from residue fields.
• Uniform and non-uniform existential definitions distinguish equicharacteristic from mixed characteristic settings, shaping effective decision procedures.
• The theory extends Ax–Kochen–Ershov principles to the existential fragment, enabling algorithmic reductions and insights into Diophantine decision problems.

The existential theory of Henselian valued fields addresses the foundation of first-order definability and decidability for valued fields equipped with Henselian valuations, focusing on the existential fragment of their logical theories. Central results characterize the definability of valuation rings in terms of existential formulas, the transfer of existential completeness between valued fields and their residue fields, and the reduction of decision problems to residue-field questions. These results encompass both equicharacteristic and mixed-characteristic settings, with significant uniformity and non-uniformity phenomena depending on the residue field and ramification. The Ax–Kochen–Ershov principles are extended and specialized for existential logic, and uniform definability theorems demarcate the boundaries of parameter-free and uniform existential definitions.

1. Existential Definability of Valuation Rings

A constructed paradigm for existential definability of valuation rings in Henselian valued fields is based on explicit existential formulas in the ring language, often without parameters. For a Henselian field $K$ with valuation ring $\mathcal{O}$, maximal ideal $\mathfrak{m}$, and residue field $F = \mathcal{O}/\mathfrak{m}$, there exists a parameter-free existential formula $\varphi(x)$ such that $\varphi(K) = \mathcal{O}$ provided $F$ is finite or is pseudo-algebraically closed (PAC) with the subsumed algebraic closure not algebraically closed (Fehm, 2013).

This construction proceeds by defining two existential subsets, $U \subset \mathcal{O}$ with $\mathfrak{m} \subset U$, and $T \subset \mathcal{O}$, which meets every residue class, then expressing the valuation ring as

$$\varphi(x) := \exists u, t \; [x = u + t \wedge u \in U \wedge t \in T].$$

For example, with $f \in \mathcal{O}[X]$ monic, irreducible and suitably non-singular, one sets $U := f(K)^{-1} - f(K)^{-1}$, $T := f(K)^{-1} \cdot f(K)^{-1} \cup \{0\}$, leveraging Hensel's Lemma and residue field properties to ensure full surjectivity and containment. The resulting existential formulas for $U$ and $T$ are

$$\psi_U(x) \equiv \exists y, z, y_1, z_1 [x = y_1 - z_1 \wedge y f(y) = 1 \wedge z f(z) = 1],$$

$$\psi_T(x) \equiv (x = 0) \vee \exists y, z, y_1, z_1 [x = y_1 z_1 \wedge f(y) y_1 = 1 \wedge f(z) z_1 = 1].$$

For fields with divisible value group and finite residue field (e.g., Puiseux and perfect hulls of $F_q((t))$), a single existential formula suffices, and existential definitions remain parameter-free (Anscombe et al., 2013). The method cannot extend uniformly for all residue fields or all primes (Cluckers et al., 2013).

2. Ax–Kochen–Ershov Principles for Existential Theories

The existential Ax–Kochen–Ershov (AKE) principle asserts that for equicharacteristic Henselian valued fields $(K, v)$ and $(L, w)$,

$$(K, v) \equiv_{\exists} (L, w) \iff Kv \equiv_{\exists} Lw,$$

and the existential theory of the valued field depends solely on the existential theory of its residue field, independent of the value group (Anscombe et al., 2015, Anscombe et al., 2024, Anscombe et al., 2023). For finitely ramified mixed characteristic fields, the existential theory is determined by the positive existential theory of the residue field in an enriched language $L_{p,e}$ and by the existential theory of the value group (Anscombe et al., 2023, Lee, 27 Feb 2025).

A table summarizing existential transfer principles:

Setting	Existential Theory Controlled By	Uniformity
Equicharacteristic (finite $F$)	Residue field existential theory	Yes, for fixed $F$
Mixed characteristic, tame/unram	Residue field (enriched), value group	Yes, with enrichment
Finite extensions of $Q_p$, $F_q((t))$	Residue field ($F_p$ or $F_q$), value group	No global uniformity
Infinite or algebraically closed $F$	Not existentially definable	No existential formula

Decidability results follow immediately: if the existential theory of the residue field is decidable, so is that of the valued field, e.g., the existential theory of $\mathbb{F}_q((t))$ is decidable (Anscombe et al., 2015).

3. Uniform and Non-Uniform Existential Definitions

Uniform existential definitions of valuation rings exist in the ring language when additional Macintyre-style predicates ($P_2$, $P_3$, or Artin–Schreier) are permitted. For every Henselian valued field with finite or pseudo-finite residue field (excluding pathological cases in characteristic $2$), one finds uniform existential formulas (in expanded languages) defining $\mathcal{O}_K$ (Cluckers et al., 2013). No such uniform definition exists in the pure ring language for all finite extensions or all primes; existential or universal formulas cannot define valuation rings uniformly in these cases.

For any fixed finite extension $K/\mathbb{Q}_p$, there are explicit existential and universal formulas defining $\mathcal{O}_K$ in the ring language, constructed via roots of prescribed Eisenstein polynomials and Hensel's Lemma; e.g.,

$$\phi_{\rm ex}(x) \equiv \exists z, y, w \left(G(z) = 0 \wedge H(y) = 0 \wedge (1 + yx^r = w^r)\right).$$

4. Existential Fragments and Monotonicity

Recent developments formalize existential fragments $\exists_n$, $\exists_n\exists_1$, and inductive $\exists^n$-hierarchies, establishing monotonicity principles: inclusion of existential theories for residue fields implies inclusion for valued fields in those fragments (Anscombe et al., 24 Jan 2026). For example, in the $\exists_3$-fragment in the language $L_{\rm val}(t)$ (with parameter $t$),

$$\text{If } \operatorname{Th}_{\exists_2}(\mathbb{F}_q) \subseteq \operatorname{Th}_{\exists_2}(\mathbb{F}_q((t))), \text{ then } \operatorname{Th}_{\exists_3}(\mathbb{F}_q((t)), v_t, t)$$

is recursively axiomatizable and thus decidable, relying on resolution of singularities up to dimension $3$.

The transfer also holds for unramified mixed characteristic fields and for fragments with varying quantifier structure, provided suitable resolution-type hypotheses are met.

5. Decision Procedures and Complexity Reduction

The existential theory of a Henselian valued field is algorithmically reducible to the existential theory of its residue field. In the presence of a distinguished uniformizer and under weak uniformization hypotheses (R4), existential sentences over $(K, v, t)$ are recursively translated into existential questions over the residue field, via Artin approximation and Henselian perturbation (Anscombe et al., 2022). This process is effective, and termination is ensured by dimension reduction in resolution steps, which enables relative decidability of existential theories.

In many-one reductions, the machinery developed in (Anscombe et al., 2023) solidifies that the existential theory of various valued fields (e.g., $\mathbb{Q}_p$, $\mathbb{Q}((t))$, $\mathbb{F}_q((t))$) is many-one equivalent to the existential theory of the corresponding residue field (e.g., $\mathbb{F}_q$, $\mathbb{Q}$).

6. Limitations, Open Problems, and Generalizations

Limitations of uniform definability and transfer principles are governed by residue field characteristics, ramification, and the structure of existential fragments:

• No existential parameter-free formula in the pure ring language uniformly defines valuation rings across all primes or extensions (Cluckers et al., 2013).
• For infinite or algebraically closed residue fields, existential formulas cannot define valuation rings (Fehm, 2013).
• Generalization to mixed characteristic fields with imperfect residue remains open; existing existential AKE results require enrichment and fixed initial ramification (Anscombe et al., 2023).
• Higher-dimensional fragments (e.g., $\exists_4$-fragment) depend on deeper resolution of singularities and are not yet axiomatized unconditionally (Anscombe et al., 24 Jan 2026).
• Open questions include quantifier elimination within existential fragments, identification of minimal enrichment of residue structures for existential completeness, and uniform axiomatization across ramification classes.

7. Applications, Impact, and Connections

Existential definability results affect Diophantine decision problems, completions of Hilbert’s Tenth Problem in local and power-series contexts, and enable transfer of decidability from residue fields to valued fields. They support algorithmic and model-theoretic analysis of function fields, provide a framework for interpreting syntactic fragments, and clarify the interplay between global and local definability (Fehm, 2013, Anscombe et al., 2013, Anscombe et al., 2022, Anscombe et al., 2023).

These results delineate the logical structure of Henselian valued fields and inform broader study in algebraic geometry, field arithmetic, and model theory, particularly in the development of decision algorithms, transfer principles, and quantifier complexity hierarchies.