Negative partition relations for ordinals \(\omega^{\omega^\alpha}\) (Q1306309)

For an ordinal number \(\alpha\) and a positive integer \(n\), the partition relation \(\alpha \to (\alpha,n)^2\) means that whenever the unordered pairs from \(\alpha\) are partitioned into two classes, either there is a subset \(H\) of \(\alpha\) of order type \(\alpha\) such that all the pairs from \(H\) lie in the first class, or there is an \(n\)-element subset of \(\alpha\) all the pairs from which lie in the second class. The negation of this relation is written \(\alpha \nrightarrow (\alpha,n)^2\). For countable ordinals \(\alpha\), the previously known results about this relation are: (1) \(\alpha \to (\alpha,n)^2\) for all finite \(n\) if \(\alpha=\omega\), \(\omega^2\) or \({\omega}^{\omega}\); and (2) \(\alpha \nrightarrow (\alpha,3)^2\) if \(\alpha=\omega^3\) or if \(\alpha\) is additively decomposable or of the form \(\omega^{\beta}\) where \(3\leq \beta < \omega_1\) and \(\beta\) is additively decomposable. This paper is devoted to proving the first cases of \(\alpha \nrightarrow (\alpha,n)^2\) for countable \(\alpha\) and \(n>3\), (other than consequences of (2) above). The author proves that \(\omega^{{\omega}^{\alpha}} \nrightarrow (\omega^{{\omega}^{\alpha}},6)^2\) if \(\alpha=\alpha_0+\alpha_1\) where \(\alpha_0 \geq \alpha_1\), and \(\omega^{{\omega}^{\alpha}} \nrightarrow (\omega^{{\omega}^{\alpha}},4)^2\) if \(\alpha=\alpha_0+\alpha_1+\alpha_2\) where \(\alpha_0 \geq \alpha_1 \geq \alpha_2\).