@misc{indiciae5f4f555c371f, title = {Definable henselian valuations in positive residue characteristic}, author = {Margarete Ketelsen and Simone Ramello and Piotr Szewczyk}, year = {2025}, doi = {10.1017/jsl.2024.55}, url = {https://arxiv.org/abs/2401.06884}, note = {Source identifier: 2401.06884} }