arXiv++ Combinatorics

Given infinite cardinals $θ\leq κ$, we ask for the minimal VC-dimension of a cofinal family $\mathcal{F}\subseteq[κ]^{<θ}$. We show that for $θ=ω$ and $κ=\aleph_n$ it is consistent with ZFC that there exists such a family of VC-dimension $n+1$, which is known to be the lower bound. For $θ>ω$ we answer this question completely, demonstrating a strong dichotomy between the case of singular and regular $θ$. We furthermore answer some relative and generalized versions of the above question for singular $θ$, and answer a related question which appears in \cite{BBNKS}.

Given natural numbers $k \leq s \leq n$, we ask: what is the minimal VC-dimension of a family $\mathcal{F}$ of $s$-subsets of $[n]$ that covers all $k$-subsets of $[n]$? We first show that for sufficiently large $n$ this number is always $k$, and construct families which give a lower bound for the actual growth of this stabilization point.