{"id":"arxiv/2601.17395","url":"https://arxiv.org/abs/2601.17395","tags":["math.LO","math.NT"],"score":0,"title":"Existential fragments of theories of henselian valued fields","domain":"math.LO","source":"arxiv","authors":["Sylvy Anscombe","Arno Fehm"],"reviews":0,"subject":"math.LO","summary":"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$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-24","reactions":{}}