TY - RPRT TI - Definable henselian valuations in positive residue characteristic AU - Margarete Ketelsen AU - Simone Ramello AU - Piotr Szewczyk PY - 2025 DO - 10.1017/jsl.2024.55 UR - https://arxiv.org/abs/2401.06884 ID - 2401.06884 ER -