In this paper, we characterize NIP (Not the Independence Property) henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real closed, or admits a nontrivial henselian valuation, this allows us to obtain a characterization of all theories of NIP fields.

中文翻译：

---

表征 NIP 汉森场

在本文中，我们以代数和模型理论的方式描述 NIP（非独立性）亨塞尔值域以其留数域理论为模。假设每个无限 NIP 域要么是可分闭的、实闭的，要么承认非平凡的亨塞尔估值，这使我们能够获得所有 NIP 域理论的表征。