4 papers · 1 filter
AKE principles in roughly deeply ramified henselian valued fields
Franziska Jahnke, Margarete Ketelsen, Floris Vermeulen
We show that for any henselian valued field of mixed characteristic , the (existential) -theory of the valued field is determined by the (existen…
Definability via the tilting correspondence
Gessica Alecci, Ihsane Hadeg, Franziska Jahnke +2
We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definabl…
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…
Definable henselian valuations in positive residue characteristic
Margarete Ketelsen, Simone Ramello, Piotr Szewczyk
We study the question of -definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a char…