Negative partition relations for ordinals ^^
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\).
- A partition calculus in set theory
- A partition theorem for the complete graph on ^
- A short proof of a partition theorem for the ordinal ωω
- scientific article; zbMATH DE number 3521967 (Why is no real title available?)
- Pinning countable ordinals
- Pinning for pairs of countable ordinals
- Set theory and its applications. Proceedings of a conference held at York University, Toronto/Ontario, Canada, August 10-21, 1987
- Teilmengen von Mengen mit Relationen
- The quasi order of graphs on an ordinal
- Ordinary partition relations for ordinal numbers
- scientific article; zbMATH DE number 4033728 (Why is no real title available?)
- Pairs of orthogonal countable ordinals
- An ordinal partition avoiding pentagrams
- Getting more colors I
- Partitioning pairs of countable sets of ordinals
- Countable partition ordinals
This page was built for publication: Negative partition relations for ordinals \(\omega^{\omega^\alpha}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1306309)
