Andújar Guerrero, P. orcid.org/0000-0001-5160-5366 (2023) Definable (ω,2)-theorem for families with VC-codensity less than 2. The Journal of Symbolic Logic. ISSN 0022-4812
Abstract
Let S be a family of nonempty sets with VC-codensity less than 2. We prove that, if S has the (ω,2) -property (for any infinitely many sets in S, at least two among them intersect), then S can be partitioned into finitely many subfamilies, each with the finite intersection property. If 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 [9] and the Alon–Kleitman–Matoušek (p,q) -theorem in combinatorics [6].
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic. This article has been published in a revised form in https://doi.org/10.1017/jsl.2023.46. This version is free to view and download for private research and study only. Not for re-distribution or re-use. |
Keywords: | NIP; VC-density; (p,q)-theorem |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Funding Information: | Funder Grant number EPSRC (Engineering and Physical Sciences Research Council) EP/V003291/1 |
Depositing User: | Symplectic Publications |
Date Deposited: | 10 Jan 2024 11:16 |
Last Modified: | 07 May 2024 08:29 |
Status: | Published online |
Publisher: | Cambridge University Press |
Identification Number: | 10.1017/jsl.2023.46 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:207370 |