Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets (UDTFS). This settles a conjecture of Laskowski.

中文翻译：

---

NIP公式有限集上类型的统一可定义性

结合机器学习理论的两个结果，我们证明一个公式是 NIP 当且仅当它满足有限集上类型的统一可定义性（UDTFS）。这解决了 Laskowski 的一个猜想。