On uniform definability of types over finite sets for NIP formulas

Shlomo Eshel, Itay Kaplan

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…