Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2022

Preprint Number 2022

Previous Next Preprint server

2022. Martin Bays, Itay Kaplan, Pierre Simon
Density of compressible types and some consequences

Submission date: 12 July 2021


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.

Mathematics Subject Classification: 03C45 (Primary) 03C95, 03C50 (Secondary)

Keywords and phrases:

Full text arXiv 2107.05197: pdf, ps.

Last updated: July 20 2021 16:33 Please send your corrections to: