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...
| Autors principals: | , , |
|---|---|
| Format: | Journal article |
| Idioma: | English |
| Publicat: |
EMS Press
2024
|