{"id":"arxiv/2602.20736","url":"https://arxiv.org/abs/2602.20736","tags":["math.LO","math.NT"],"score":0,"title":"Existential theories of henselian valued fields under a formal smoothness assumption","domain":"math.LO","source":"arxiv","authors":["Philip Dittmann"],"reviews":0,"subject":"math.LO","summary":"We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the weaker algebraic hypothesis of formal smoothness over the parameter field, which we discuss in detail in our setting. Assuming a weak consequence of resolution of singularities, which was already used in previous work, we obtain an axiomatisation of the existential theory of such a valued field in terms of the existential theory of the residue field, both…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-24","reactions":{}}