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 (answering a question of Eshel and the second author), and build compressible models in countable NIP theories.

[1]  H. Gaifman,et al.  Operations on relational structures, functors and classes I , 1974 .

[2]  Anand Pillay,et al.  Generic stability and stability , 2014, J. Symb. Log..

[3]  Itay Kaplan,et al.  On uniform definability of types over finite sets for NIP formulas , 2019, J. Math. Log..

[4]  École d'été de probabilités de Saint-Flour,et al.  École d'Été de Probabilités de Saint-Flour XII - 1982 , 1984 .

[5]  Pierre Simon.  Type decomposition in NIP theories , 2016, Journal of the European Mathematical Society.

[6]  Pierre Simon,et al.  Invariant types in NIP theories , 2014, J. Math. Log..

[7]  Pierre Simon,et al.  Externally definable sets and dependent pairs II , 2012, 1202.2650.

[8]  Liwei Wang,et al.  Quadratic Upper Bound for Recursive Teaching Dimension of Finite VC Classes , 2017, COLT.

[9]  Saharon Shelah.  Dependent first order theories, continued , 2004 .

[10]  Xi Chen,et al.  On the Recursive Teaching Dimension of VC Classes , 2016, NIPS.

[11]  Anand Pillay,et al.  Generic stability, regularity, and quasi-minimality , 2009 .

[12]  W. Hodges.  CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS , 1980 .

[13]  Ehud Hrushovski,et al.  On NIP and invariant measures , 2007, 0710.2330.

[14]  Pierre Simon,et al.  A Guide to NIP Theories , 2012, 1208.3944.

[15]  Alexander Usvyatsov.  On generically stable types in dependent theories , 2009, J. Symb. Log..

[16]  Martin Bays,et al.  Incidence bounds in positive characteristic via valuations and distality , 2021 .

[17]  Vincent Guingona.  On uniform definability of types over finite sets , 2012, J. Symb. Log..

[18]  Kyle Gannon,et al.  Remarks on generic stability in independent theories , 2020, Ann. Pure Appl. Log..

[19]  Jirí Matousek,et al.  Bounded VC-Dimension Implies a Fractional Helly Theorem , 2004, Discret. Comput. Geom..

[20]  Jan E. Holly,et al.  Canonical forms for definable subsets of algebraically closed and real closed valued fields , 1995, Journal of Symbolic Logic.

[21]  W. Hodges.  Proof of Gaifman's conjecture for relatively categorical abelian groups , 2011 .

[22]  S. Shelah.  CLASSIFICATION THEORY FOR ELEMENTARY CLASSES WITH THE DEPENDENCE PROPERTY-A MODEST BEGINNING , 2004 .

[23]  Jouko Väänänen.  Pseudo-finite model theory ⇤ , 2003 .

[24]  Itay Kaplan,et al.  Non-forking and preservation of NIP and dp-rank , 2021, Ann. Pure Appl. Log..

[25]  PETE L. CLARK,et al.  COURSE ON MODEL THEORY , 2012 .