Partition relations for successor cardinals (Q580335)

The paper begins with a neat summary of the basic ideas and some of the more interesting results concerning partition relations. Section 2 deals with some results of large cardinal hypotheses. The author points out that, if \(\kappa\) is weakly compact, then \(\kappa^+\to (\kappa:\eta)^ 2_ 2\) for every \(\eta <\kappa^+\). He also gives his own proof of the following reslt of Laver: If \(\kappa^{<\kappa}=\kappa\) and there is a Laver ideal over \(\kappa\), then \(\kappa^+\to (\kappa +\kappa +1,\alpha)^ 2_ 2\) for every \(\alpha <\kappa^+\). (Corollary: If \(\kappa\) is measurable, then \(\kappa^+\to (\kappa +\kappa +1,\alpha)^ 2_ 2\) for every \(\alpha <\kappa^+.)\) Section 3 covers so-called limitative results stemming from forcing and the categoricity of L. For a successor cardinal \(\kappa\) with \(\kappa^-\) its predecessor, the author discusses Rebholz's Principle \((R_{\kappa}):\) There is a collection \(\{f_{\alpha}|\alpha <\kappa^+\}\) of functions \(f_{\alpha}: \alpha \to \alpha\) so that, whenever \(s\in [\kappa^+]^{\kappa^-}\) and \(\phi\) is a regressive function with domain s (i.e., \(\phi (\alpha)<\alpha\) for \(\alpha\in s)\), then \(| \{\xi <\cap s|\forall \alpha \in s\) \((f_{\alpha}(\xi)\neq \phi (\alpha))\}| <\kappa\), as well as Prikry's Principle \((P_{\kappa}):\) There is a collection \(\{f_{\alpha}|\alpha <\kappa^+\}\subseteq^{\kappa}\kappa\) so that, whenever \(s\in [\kappa^+]^{\kappa^-}\) and \(\phi\) : \(s\to \kappa\), we have \(| \{\xi <\kappa |\forall \alpha \in s\) \((f_{\alpha}(\xi)\neq \phi (\alpha))\}| <\kappa\). A proof is sketched of Gonder's result that \((R_{\kappa})\) and \((P_{\kappa})\) are equivalent. The author also points out some equivalences involving what he calls the weak Kurepa's hypothesis for \(\kappa\) : There is a collection \(\{f_{\alpha}|\alpha <\kappa^+\}\subseteq^{\kappa}(\kappa^-)\) such that \(\alpha <\beta <\kappa^+\) implies \(| \{\xi |\) \(f_{\alpha}(\xi)=f_{\beta}(\xi)\}| <\kappa\). For \(\kappa\) not necessarily a successor cardinal, the author considers two weaker forms \((wR_{\kappa}):\) There is a collection \(\{f_{\alpha}|\alpha <\kappa^+\}\) of functions \(f_{\alpha}: \alpha \to \kappa\) so that, whenever \(s\in [\kappa^+]^{\kappa}\) and \(\phi: s\to \kappa\), then \(| \{\xi <\cap s|\forall \alpha \in s\) \((f_{\alpha}(s)\neq \phi (\alpha)\}| <\kappa\); and \((wP_{\kappa}):\) There is a collection \(\{f_{\alpha}|\alpha <\kappa^+\}\) of functions \(f_{\alpha}: \kappa \to \kappa\) so that, whenever \(s\in [\kappa^+]^{\kappa}\) and \(\phi\) : \(s\to \kappa\), then \(| \{\xi <\kappa |\forall \alpha \in s\) \((f_{\alpha}(\xi)\neq \phi (\alpha)\}| <\kappa\). It is not known whether \((wR_{\kappa})\) and \((wP_{\kappa})\) are equivalent. It is shown that, if the ground model V satisfies \(\kappa^{<\kappa}=\kappa\), there is a \(\kappa^+\)-c.c. forcing extension in which \((wR_{\kappa})\) holds. (This forcing adds no new \(\eta\) sequences of ordinals for any \(\eta <\kappa\); properties like the Mahloness of \(\kappa\) are preserved.) Finally, it is mentioned that, based mainly on work of Donder, it can be shown that, if \(V=L\) and \(\kappa >\omega\) is regular, then the following are equivalent: (i) \(\kappa\) is weakly compact; (ii) \(\kappa^+\to (\kappa:\eta)^ 2_ 2\) for every \(\eta <\kappa^+\); (iii) \(\kappa^+\to [\kappa:\kappa]^ 2_{\kappa}\). Two open questions are posed: (1) If \(\kappa\) is weakly compact, is \(\kappa^+\to (\kappa +\kappa)^ 2_ 2\) valid? (2) If \(\kappa\) is measurable, is \(\kappa^+\to (\kappa +\kappa +2)^ 2_ 2\) valid?