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


Current browse context:


Change to browse by:

References & Citations


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

Mathematics > Logic

Title: Definable $(ω, 2)$-theorem for families with VC-codensity less than $2$

Abstract: Let $\mathcal{S}$ be a family of sets with VC-codensity less than $2$. We prove that, if $\mathcal{S}$ has the $(\omega, 2)$-property (for any infinitely many sets in $\mathcal{S}$, at least $2$ among them intersect), then $\mathcal{S}$ can be partitioned into finitely many subfamilies, each with the finite intersection property. If $\mathcal{S}$ is definable in some first-order structure, then these subfamilies can be chosen definable too. This is a strengthening of the case $q=2$ of the definable $(p,q)$- conjecture in model theory and of the Alon-Kleitman-Matou\v{s}ek $(p,q)$-theorem in combinatorics.
Subjects: Logic (math.LO); Combinatorics (math.CO)
MSC classes: 03C45, 52A35
Cite as: arXiv:2205.13665 [math.LO]
  (or arXiv:2205.13665v2 [math.LO] for this version)

Submission history

From: Pablo Andújar Guerrero [view email]
[v1] Thu, 26 May 2022 23:06:08 GMT (10kb)
[v2] Thu, 4 Aug 2022 13:17:47 GMT (11kb)

Link back to: arXiv, form interface, contact.