Density of compressible types and some consequences

We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension), we prove density of compressible types. Using this, we obtain explicit uniform honest definitions for NIP formulas (a...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Bays, M, Kaplan, I, Simon, P
Fformat: Journal article
Iaith:English
Cyhoeddwyd: EMS Press 2024

Eitemau Tebyg