We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Density of compressible types and some consequences

Abstract: 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.
Comments: v2: new corollary 6.34 on stable reducts. Minor fixes elsewhere; numbering unchanged except in section 6
Subjects: Logic (math.LO)
MSC classes: 03C45 (Primary) 03C95, 03C50 (Secondary)
Cite as: arXiv:2107.05197 [math.LO]
  (or arXiv:2107.05197v2 [math.LO] for this version)

Submission history

From: Martin Bays [view email]
[v1] Mon, 12 Jul 2021 05:14:08 GMT (62kb)
[v2] Tue, 5 Oct 2021 15:29:53 GMT (65kb)

Link back to: arXiv, form interface, contact.