On uniform definability of types over finite sets for NIP formulas
Shlomo Eshel, Itay Kaplan · Journal of Mathematical Logic · 2020
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.