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

Abstract

We investigate forms of filter extension properties in the two-cardinal setting involving filters on $P_{\kappa }(\lambda )$. We generalize the filter games introduced by Holy and Schlicht in \cite{HolySchlicht:HierarchyRamseyLikeCardinals} to filters on $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_{\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}.

Final Version