English

Cardinals of the $P_\kappa(\lambda)$-Filter Games

Logic 2026-02-20 v2

Abstract

We investigate forms of filter extension properties in the two-cardinal setting involving filters on Pκ(λ)P_\kappa(\lambda). We generalize the filter games introduced by Holy and Schlicht in \cite{HolySchlicht:HierarchyRamseyLikeCardinals} to filters on Pκ(λ)P_\kappa(\lambda) and show that the existence of a winning strategy for Player II in a game of a certain length can be used to characterize several large cardinal notions such as: λ\lambda-super/strongly compact cardinals, λ\lambda-completely ineffable cardinals, nearly λ\lambda-super/strongly compact cardinals, and various notions of generic super and strong compactness. We generalize a result of Nielson from \cite{NielsenWelch:games_and_Ramsey-like_cardinals} connecting the existence of a winning strategy for Player II in a game of finite length and two-cardinal indescribability. We generalize the result of \cite{ForMagZem} to construct a fine κ\kappa-complete precipitous ideal on Pκ(λ)P_\kappa(\lambda) from a winning strategy for Player II in a game of length ω\omega. Finally, we improve Theorems 1.2 and 1.4 from \cite{ForMagZem} and partially answer questions Q.1 and Q.2 from \cite{ForMagZem}.

Keywords

Cite

@article{arxiv.2504.00119,
  title  = {Cardinals of the $P_\kappa(\lambda)$-Filter Games},
  author = {Tom Benhamou and Victoria Gitman},
  journal= {arXiv preprint arXiv:2504.00119},
  year   = {2026}
}

Comments

Final Version