A square principle in the context of $\mathcal{P}_\kappa\lambda$ (Forcing Method and Large Cardinal Axioms)
Greg Piper · Institutional Repositories DataBase (IRDB) · 2005
We introduce a combinatorial principle for $P_{\kappa}\lambda$ based upon $\square _{\kappa}$ .Although we cannot transfer one of the clauses of $\square _{\kappa}$ to this context, we can replicate some of the desired consequences of that clause.We discuss this situation and its implications along with proving the relative consistency of some $P_{\mathit{1}\mathrm{t}}\lambda$ versions of $\coprod_{t\sigma}$ .