Partition relations for -normal ideals on P_()

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.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1874243)