Vapnik-Chervonenkis Density in Some Theories without the Independence Property, II

We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and $P$-minimal theories.

[1]  Jiří Matoušek,et al.  Geometric Set Systems , 1998 .

[2]  Andreas Baudisch.  Magidor-Malitz Quantifiers in Modules , 1984, J. Symb. Log..

[3]  Marek Karpinski,et al.  Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks , 1997, J. Comput. Syst. Sci..

[4]  Herbert Edelsbrunner,et al.  Algorithms in Combinatorial Geometry , 1987, EATCS Monographs in Theoretical Computer Science.

[5]  Hans Adler,et al.  Introduction to theories without the independence property , 2008 .

[6]  Ya'acov Peterzil,et al.  Groups, measures, and the NIP , 2006 .

[7]  J. Spencer,et al.  Zero-one laws for sparse random graphs , 1988 .

[8]  Saharon Shelah,et al.  Strongly dependent theories , 2005, math/0504197.

[9]  R. Pollack,et al.  On the number of cells defined by a set of polynomials , 1993 .

[10]  W. Schmidt,et al.  Linear equations in variables which Lie in a multiplicative group , 2002 .

[11]  Françoise Point,et al.  Essentially periodic ordered groups , 2000, Ann. Pure Appl. Log..

[12]  Pierre Simon.  On dp-minimal ordered structures , 2011, J. Symb. Log..

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

[14]  Franz-Viktor Kuhlmann.  Abelian Groups with Contractions II: Weak O-Minimality , 1995 .

[15]  Jürgen Saffe.  Categoricity and Ranks , 1984, J. Symb. Log..

[16]  James H. Schmerl.  ℵ₀-categorical distributive lattices of finite breadth , 1983 .

[17]  Max A. Dickmann.  Elimination of Quantifiers for Ordered Valuation Rings , 1987, J. Symb. Log..

[18]  Khaled A. S. Abdel-Ghaffar.  Maximum number of edges joining vertices on a cube , 2003, Inf. Process. Lett..

[19]  Jirí Matousek,et al.  Discrepancy and approximations for bounded VC-dimension , 1993, Comb..

[20]  David Haussler,et al.  Sphere Packing Numbers for Subsets of the Boolean n-Cube with Bounded Vapnik-Chervonenkis Dimension , 1995, J. Comb. Theory, Ser. A.

[21]  Béla Bollobás,et al.  Unavoidable Traces Of Set Systems , 2005, Comb..

[22]  Ehud Hrushovski,et al.  Generically stable and smooth measures in NIP theories , 2010, 1002.4763.

[23]  Peter H. Schmitt,et al.  THE THEORY OF ORDERED ABELIAN GROUPS DOES NOT HAVE THE INDEPENDENCE PROPERTY , 1984 .

[24]  Luc Bélair,et al.  Types dans les corps valués munis d'applications coefficients , 1999 .

[25]  Deirdre Haskell,et al.  Vapnik-Chervonenkis Density in some Theories without the Independence Property, II , 2015 .

[26]  A. W. van der Vaart,et al.  Uniform Central Limit Theorems , 2001 .

[27]  Anand Pillay,et al.  Weakly normal groups , 1985, Logic Colloquium.

[28]  E. Berger.  UNIFORM CENTRAL LIMIT THEOREMS (Cambridge Studies in Advanced Mathematics 63) By R. M. D UDLEY : 436pp., £55.00, ISBN 0-521-46102-2 (Cambridge University Press, 1999). , 2001 .

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

[30]  Micha Sharir,et al.  On the Number of Incidences Between Points and Curves , 1998, Combinatorics, Probability and Computing.

[31]  Leonard Lipshitz,et al.  One-Dimensional Fibers of Rigid Subanalytic Sets , 1998, J. Symb. Log..

[32]  Michael C. Laskowski,et al.  Vapnik-Chervonenkis classes of definable sets , 1992 .

[33]  Endre Szemerédi,et al.  A Combinatorial Distinction Between the Euclidean and Projective Planes , 1983, Eur. J. Comb..

[34]  Anand Pillay,et al.  The model-theoretic content of Lang’s conjecture , 1998 .

[35]  K. Zh. Kudaîbergenov.  On the independence property , 2000 .

[36]  Alf Onshuus.  On dp-minimality, strong dependence and weight , 2011, J. Symb. Log..

[37]  Jiri Matousek,et al.  Lectures on discrete geometry , 2002, Graduate texts in mathematics.

[38]  Micha Sharir,et al.  Repeated Angles in the Plane and Related Problems , 1992, J. Comb. Theory, Ser. A.

[39]  G. Pólya,et al.  Problems and theorems in analysis , 1983 .

[40]  Anand Pillay,et al.  On Lascar rank and Morley rank of definable groups in differentially closed fields , 2002, Journal of Symbolic Logic.

[41]  Roger Villemaire,et al.  Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems , 1996, Ann. Pure Appl. Log..

[42]  Hans Adler.  Theories controlled by formulas of Vapnik-Chervonenkis codimension 1 , 2008 .

[43]  M. Karpinski,et al.  Approximating Volumes and Integrals in o-Minimal and p-Minimal Theories , 1997 .

[44]  I. Bárány.  LECTURES ON DISCRETE GEOMETRY (Graduate Texts in Mathematics 212) , 2003 .

[45]  P. Erdös,et al.  A Partition Calculus in Set Theory , 1956 .

[46]  G. Grätzer.  General Lattice Theory , 1978 .

[47]  G. Carpenter.  In Providence, R. I. , 1929 .

[48]  Françoise Point,et al.  MODEL THEORY AND MODULES: (London Mathematical Society Lecture Note Series 130) , 1990 .

[49]  Zoltán Füredi,et al.  Traces of finite sets: extremal problems and geometric applications , 1994 .

[50]  Norbert Sauer,et al.  On the Density of Families of Sets , 1972, J. Comb. Theory A.

[51]  Angus Macintyre,et al.  On $ω_1$-categorical theories of abelian groups , 1971 .

[52]  Ivo Herzog,et al.  Model Theory of Modules Over a Serial Ring , 1995, Ann. Pure Appl. Log..

[53]  Daniel Lascar.  Les groupes ω-stables de rang fini , 1985 .

[54]  Jean-Louis Duret,et al.  Les corps faiblement algebriquement clos non separablement clos ont la propriete d ’independance , 1980 .

[55]  Randolph B. Tarrier,et al.  Groups , 1973 .

[56]  Jan Denef,et al.  P-adic and real subanalytic sets , 1988 .

[57]  Ehud Hrushovski,et al.  Integration in valued fields , 2006 .

[58]  B. Szegedy,et al.  Regularity Partitions and The Topology of Graphons , 2010, 1002.4377.

[59]  Vincent Guingona,et al.  Local dp-rank and VC-density over indiscernible sequences , 2011 .

[60]  Deirdre Haskell,et al.  A Version of o-Minimality for the p-adics , 1997, J. Symb. Log..

[61]  W. Trotter,et al.  Combinatorics and Partially Ordered Sets: Dimension Theory , 1992 .

[62]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[63]  Max L. Warshauer,et al.  Lecture Notes in Mathematics , 2001 .

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

[65]  Colin Cooper,et al.  The vapnik-chervonenkis dimension of a random graph , 1995, Discret. Math..

[66]  Dugald Macpherson,et al.  Weakly o-minimal structures and real closed fields , 2000 .

[67]  Jehuda Hartman.  The homeomorphic embedding of Kn in the m-cube , 1976, Discret. Math..

[68]  P. Assouad.  Densité et dimension , 1983 .

[69]  J. Pach.  Towards a Theory of Geometric Graphs , 2004 .

[70]  M. Prest.  Model theory and modules , 1988 .

[71]  Tero Harju,et al.  Ordered Sets , 2001 .

[72]  Raf Cluckers,et al.  Analytic p-adic cell decomposition and integrals , 2002, math/0206161.

[73]  Alf Onshuus,et al.  Additivity of the dp-rank , 2011 .

[74]  S. Shelah.  A combinatorial problem; stability and order for models and theories in infinitary languages. , 1972 .

[75]  József Solymosi,et al.  An Incidence Theorem in Higher Dimensions , 2012, Discret. Comput. Geom..

[76]  H. Gaifman,et al.  Symbolic Logic , 1881, Nature.

[77]  Marie-Hélène Mourgues.  Cell decomposition for P-minimal fields , 2009, Math. Log. Q..

[78]  Charles Steinhorn,et al.  Tame Topology and O-Minimal Structures , 2008 .

[79]  BENJAMIN OYE,et al.  STABLE GRAPHS , 2017 .

[80]  Stability , 1973 .

[81]  Mike Prest,et al.  Rings of finite representation type and modules of finite Morley rank , 1984 .

[82]  Deirdre Haskell,et al.  Cell Decompositions of C-Minimal Structures , 1994, Ann. Pure Appl. Log..

[83]  Dugald Macpherson,et al.  On Variants of o-Minimality , 1996, Ann. Pure Appl. Log..

[84]  Lou van den Dries,et al.  The Fields of Real and Complex Numbers with a Small Multiplicative Group , 2006 .

[85]  Juan Sabia,et al.  On the Number of Sets Definable by Polynomials , 2000 .

[86]  J. Wierzejewski,et al.  On stability and products , 1976 .

[87]  Michael T. Goodrich,et al.  Almost optimal set covers in finite VC-dimension , 1995, Discret. Comput. Geom..

[88]  Deirdre Haskell,et al.  ONE-DIMENSIONAL p -ADIC SUBANALYTIC SETS , 1999 .

[89]  Lou van den Dries,et al.  Closed asymptotic couples , 2000 .

[90]  S. Basu,et al.  On the number of cells defined by a family of polynomials on a variety , 1996 .

[91]  Michel Parigot.  Theories D'Arbres , 1982, J. Symb. Log..

[92]  James H. Schmerl.  Partially Ordered Sets and the Independence Property , 1989, J. Symb. Log..

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

[94]  E. Szemerédi,et al.  Unit distances in the Euclidean plane , 1984 .

[95]  Ya'acov Peterzil,et al.  Quasi-O-Minimal Structures , 2000, J. Symb. Log..

[96]  John T. Baldwin,et al.  a T is Finite for ℵ 1 -Categorical T , 1973 .

[97]  Hans Schoutens,et al.  Rigid subanalytic sets , 1994 .

[98]  S. Shelah.  Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory , 1971 .

[99]  Françoise Point.  On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers , 2000, J. Symb. Log..

[100]  A. Wilkie.  TAME TOPOLOGY AND O-MINIMAL STRUCTURES (London Mathematical Society Lecture Note Series 248) By L OU VAN DEN D RIES : 180 pp., £24.95 (US$39.95, LMS Members' price £18.70), ISBN 0 521 59838 9 (Cambridge University Press, 1998). , 2000 .

[101]  K. Zh. Kudaĭbergenov.  Weakly quasi-o-minimal models , 2010 .

[102]  Jirí Matousek,et al.  Tight upper bounds for the discrepancy of half-spaces , 1995, Discret. Comput. Geom..

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

[104]  Alistair H. Lachlan,et al.  ℵ 0 -Categorical, ℵ 0 -stable structures , 1985 .

[105]  R. Dudley.  A course on empirical processes , 1984 .

[106]  V. Sós,et al.  On a problem of K. Zarankiewicz , 1954 .

[107]  Frank O. Wagner,et al.  Coset-minimal groups , 2003, Ann. Pure Appl. Log..

[108]  Martin Ziegler,et al.  Stable Theories with A New Predicate , 2001, J. Symb. Log..

[109]  J. Spencer.  The Strange Logic of Random Graphs , 2001 .

[110]  Franz-Viktor Kuhlmann.  Abelian groups with contractions I , 1994 .

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

[112]  Saharon Shelah,et al.  Randomness and semigenericity , 1996 .

[113]  Edmund Puczyłowski,et al.  On Goldie and dual Goldie dimensions , 1984 .

[114]  Csaba D. Tóth.  The Szemerédi-Trotter theorem in the complex plane , 2015, Comb..

[115]  Michael C. Laskowski,et al.  Compression Schemes, Stable Definable Families, and o-Minimal Structures , 2010, Discret. Comput. Geom..

[116]  Luc Bélair,et al.  Types dans les corps valués , 1996 .