Definable henselian valuations in positive residue characteristic

Margarete Ketelsen, Simone Ramello, Piotr Szewczyk

We study the question of ${\mathcal{L}}_{\mathrm{ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a char…