Definable V-topologies, Henselianity and NIP

Yatir Halevi, Assaf Hasson, Franziska Jahnke

We initiate the study of definable V-topolgies and show that there is at most one such V-topology on a t-henselian NIP field. Equivalently, we show that if $(K,v_1,v_2)$ is a bi-va…