{"id":"arxiv/2609.15376","url":"https://arxiv.org/abs/2609.15376","tags":["math.LO","math.AC","math.NT"],"score":0,"title":"AKE principles in roughly deeply ramified henselian valued fields","domain":"math.LO","source":"arxiv","authors":["Franziska Jahnke","Margarete Ketelsen","Floris Vermeulen"],"reviews":0,"subject":"math.LO","summary":"We show that for any henselian valued field of mixed characteristic $(0,p)$, the (existential) $\\mathcal{L}_{\\mathrm{val}}$-theory of the valued field is determined by the (existential) theory of the value group in $\\mathcal{L}_{\\mathrm{oag}}$ with a constant for $v(p)$ and the (existential) theory of the residue ring $\\mathcal{O}_v/(p)$ in an expansion $\\mathcal{L}_{\\mathrm{Witt}}$ of the language of rings, provided $\\mathcal{O}_v/(p)$ is semi perfect. We moreover show that the $\\mathcal{L}_{\\mathrm{Witt}}$-structure on $\\mathcal{O}_v/(p)$ is $\\mathcal{L}_{\\mathrm{ring}}$-definable using…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}