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}.

We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_θ,\mathfrak{p}_θ,\mathfrak{g}_θ,\mathfrak{r}_θ,\mathfrak{t}_θ$ at uncountable regular cardinals $θ$. Motivated by a theorem of Raghavan-Shelah who proved that $\mathfrak{s}_θ\leq\mathfrak{b}_θ$, we explore in the first part of the paper the consistency of inequalities comparing $\mathfrak{s}_θ$ with $\mathfrak{p}_θ$ and $\mathfrak{g}_θ$. In the second part of the paper we study variations of the extender-based Radin forcing to establish several consistency results concerning $\mathfrak{r}_θ$ from hyper-measurability assumptions, results which were previously known to be consistent only from supercompactness assumptions. In doing so, we answer several questions which appeared in the literature.