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...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
EMS Press
2024
|
| _version_ | 1826312410508558336 |
|---|---|
| author | Bays, M Kaplan, I Simon, P |
| author_facet | Bays, M Kaplan, I Simon, P |
| author_sort | Bays, M |
| collection | OXFORD |
| description | 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 (answering a question of Eshel and the second author), and build compressible models in countable NIP theories. |
| first_indexed | 2024-03-07T08:28:32Z |
| format | Journal article |
| id | oxford-uuid:fe97ecfa-0d74-4211-89cd-7726a42d501a |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T08:28:32Z |
| publishDate | 2024 |
| publisher | EMS Press |
| record_format | dspace |
| spelling | oxford-uuid:fe97ecfa-0d74-4211-89cd-7726a42d501a2024-02-22T10:31:37ZDensity of compressible types and some consequencesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:fe97ecfa-0d74-4211-89cd-7726a42d501aEnglishSymplectic ElementsEMS Press2024Bays, MKaplan, ISimon, PWe 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 (answering a question of Eshel and the second author), and build compressible models in countable NIP theories. |
| spellingShingle | Bays, M Kaplan, I Simon, P Density of compressible types and some consequences |
| title | Density of compressible types and some consequences |
| title_full | Density of compressible types and some consequences |
| title_fullStr | Density of compressible types and some consequences |
| title_full_unstemmed | Density of compressible types and some consequences |
| title_short | Density of compressible types and some consequences |
| title_sort | density of compressible types and some consequences |
| work_keys_str_mv | AT baysm densityofcompressibletypesandsomeconsequences AT kaplani densityofcompressibletypesandsomeconsequences AT simonp densityofcompressibletypesandsomeconsequences |