Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\) (Q1874243)

Let \(\kappa\) be a regular uncountable cardinal. Erdős and Rado have proved that \(\kappa\to(\kappa,\omega+1)^2\) holds, where \(\kappa\to(\alpha,\beta)^2\) means that for each \(2\)-coloring \(F:[\kappa]^2\to\{0,1\}\), there exists either \(A\subseteq\kappa\) of order type \(\alpha\) such that \(F\) is identically \(0\) on \([A]^2\), or \(B\subseteq\kappa\) of order type \(\beta\) such that \(F\) is identically \(1\) on \([B]^2\). Trying to establish a similar result where the domain is \(P_\kappa(\lambda)=\{A\subseteq\lambda : |A|<\kappa\}\) (\(\lambda\geq\kappa\)) rather than \(\kappa\), the author realized that in this case partition relations of mixed type are more appropriate, where the partitions are of the set \(\kappa\times P_\kappa(\lambda)\) rather than \(P_\kappa(\lambda)\times P_\kappa(\lambda)\), and have an underlying ideal \(J\) whose domain is \(P_\kappa(\lambda)\). Intuitively, the partition property \[ J^+\overset{\kappa}{\to} (J^+,\alpha)^2 \] tells that for each coloring as above and each large (with respect to \(J\)) set, either there exists a \(J\)-large \(0\)-color monochromatic subset, or there exists a \(1\)-monochromatic subset of order type \(\alpha\) (under some natural definitions of the nondefined terms above). The author shows that whenever \(J\) is \(\kappa\)-normal, \(J^+\overset{\kappa}{\to} (J^+,\omega+1)^2\) holds. The author proceeds to stronger partition properties: He gives necessary and sufficient conditions for the existence of a \(\kappa\)-normal ideal \(J\) such that \(J^+\overset{\kappa}{\to} (J^+,\theta)^2\) holds (where \(\theta\leq\kappa\) is an uncountable cardinal), and describes the least such ideal. The author also studies the case \(J=I_{\kappa,\lambda}\) (the ideal of all \(A\subseteq P_\kappa(\lambda)\) such that for some \(a\in P_\kappa(\lambda)\), no member of \(A\) contains \(a\)), and establishes some negative results. This deep and rich study of the subject is self contained.