No label defined (Q4939404)

Throughout, \(\kappa>\aleph_0\) is a weakly inaccessible cardinal and \(\lambda\) is a cardinal, \(\lambda\geq\kappa\). For \(a,b\in P_{\kappa}(\lambda)=\{x\subseteq \lambda ; |x|<\kappa\}\), we write \(a<b\) if and only if \(a\subseteq b\) and \(|a|<|b\cap \kappa|\). For an ideal \(J\) on \(P_{\kappa}(\lambda)\), \(J^+=\{A\subseteq P_{\kappa}(\lambda) ; A\notin J\}\). Given \(A\subseteq P_{\kappa}(\lambda)\) and an ordinal \(\alpha\), we put \([A]^{\alpha}_< = \{f:\alpha\to A ; \forall\beta,\gamma \in\alpha (\beta\in\gamma\Rightarrow f(\beta)<f(\gamma))\}\). For an ideal \(J\) on \(P_{\kappa}(\lambda)\) and a cardinal \(\mu\leq\kappa\), the partition relation \(J^+@>><>(J^+,\mu)^2\) is defined to hold provided that for all \(A\in J^+\) and all \(F:[A]^2_< \to\{0,1\}\), either there is \(B\in J^+\cap P(A)\) such that \(F\) is identically \(0\) on \([B]^2_<\), or else there is \(f\in [A]^{\mu}_<\) such that \(F\) is identically \(1\) on \([\text{ran} (f)]^2_<\). After an introductory section, Sections~2 and~3 of the paper look at strongly normal ideals on \(P_{\kappa}(\lambda)\). The main result is that a normal ideal \(J\) on \(P_{\kappa}(\lambda)\) is strongly normal if and only if the partition relation \(J^+@>><> (J^+,\mu)^2\) holds for all \(\mu <\kappa\). Section~4 considers normal ideals \(J\) on \(P_{\kappa}(\lambda)\) which satisfy the relation \(J^+@>><> (J^+,\kappa)^2\). In particular, the least such ideal is determined. The last section of the paper contains some more tentative results for strongly normal ideals and similar partition relations in which the partial order \(<\) on \(P_{\kappa}(\lambda)\) is replaced by the partial order \(\subset\).