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
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: |
|
||||
Depositing User: | Symplectic Publications | ||||
Date Deposited: | 10 Jan 2024 11:16 | ||||
Last Modified: | 12 Jan 2024 16:30 | ||||
Status: | Published online | ||||
Publisher: | Cambridge University Press | ||||
Identification Number: | https://doi.org/10.1017/jsl.2023.46 |