Results for ' 52A35'

Order:
  1.  13
    Definable $(\omega,2)$ -theorem for families with vc-codensity less than $2$. [REVIEW]Pablo Andújar Guerrero - 2024 - Journal of Symbolic Logic 89 (4):1659-1668.
    Let $\mathcal {S}$ be a family of nonempty 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 two 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark