Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Existential theories of henselian valued fields under a formal smoothness assumption
Philip Dittmann
We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectnes…
math.LO2026
Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
Margarete Ketelsen, Philip Dittmann
We study in which settings we have a composition AKE principle, i.e. when the theory of the coarsening and the theory of the induced valuation determine…