Two-cardinal versions of weak compactness: partitions of triples (Q2339652)

This paper is a continuation of [the authors, Ann. Pure Appl. Logic 163, No. 1, 1--22 (2012; Zbl 1254.03083)]. In that paper, the authors investigated partitions of pairs. Here, they are mostly interested in partitions of triples. The authors study \(P_{\kappa}(\lambda)\) versions of weak compactness and associated ideals. Let \(\mathrm{NS}_{\kappa,\lambda}s\) (\(\mathrm{NS}_{\kappa,\lambda}^{[\lambda]^{<\kappa}}\), respectively) denote the smallest seminormal (strongly normal, respectively) ideal on \(P_{\kappa}(\lambda)\). Let \(\mathrm{NIn}_{\kappa,\lambda^{<\kappa}}\) (\(\mathrm{NAIn}_{\kappa,\lambda^{<\kappa}}\), respectively) denote the ideal of non-ineffable (non-almost ineffable, respectively) subsets of \(P_{\kappa}(\lambda^{<\kappa})\). The authors give characterizations of NIn\(_{\kappa,\lambda}\) and NAIn\(_{\kappa,\lambda}\). Let \(p_{\kappa,\lambda} : P_{\kappa}(\lambda^{<\kappa}) \rightarrow P_{\kappa}(\lambda)\) be defined by \(p_{\kappa,\lambda}(x) = x \cap \kappa\). The main result of the paper asserts that if \((\lambda^{<\kappa})^{<(\lambda^{<\kappa})} = \lambda^{<\kappa}\), then \[ \displaystyle (p_{\kappa,\lambda}({ \mathrm{NIn}}_{\kappa,\lambda^{<\kappa}}))^+ \rightarrow (({\mathrm{NS}}_{\kappa,\lambda}^{[\lambda]^{<\kappa}})^+, \mathrm{NS}_{\kappa,\lambda}s^+)^3 \] and \[ \displaystyle (p_{\kappa,\lambda}({\mathrm{NAIn}}_{\kappa,\lambda^{<\kappa}}))^+ \rightarrow ({\mathrm{NS}}_{\kappa,\lambda}s^+)^3. \]