TY - RPRT TI - Definable V-topologies, Henselianity and NIP AU - Yatir Halevi AU - Assaf Hasson AU - Franziska Jahnke PY - 2019 UR - https://arxiv.org/abs/1901.05920 ID - 1901.05920 ER -