TY - JOUR
T1 - Some counterexamples in the partition calculus
AU - Galvin, Fred
AU - Shelah, Saharon
PY - 1973/9
Y1 - 1973/9
N2 - We show that the pairs (2-element subsets; edges of the complete graph) of a set of cardinality א1 can be colored with 4 colors so that every uncountable subset contains pairs of every color, and that the pairs of real numbers can be colored with א0 colors so that every set of reals of cardinality 2א0 contains pairs of every color. These results are counterexamples to certain transfinite analogs of Ramsey's theorem. Results of this kind were obtained previously by Sierpiński and by Erdös, Hajnal, and Rado. The Erdös-Hajnal-Rado result is much stronger than ours, but they used the continuum hypothesis and we do not. As by-products, we get an uncountable tournament with no uncountable transitive subtournament, and an uncountable partially ordered set such that every uncountable subset contains an infinite antichain and a chain isomorphic to the rationals. The tournament was pointed out to us by R. Laver, and is included with his permission.
AB - We show that the pairs (2-element subsets; edges of the complete graph) of a set of cardinality א1 can be colored with 4 colors so that every uncountable subset contains pairs of every color, and that the pairs of real numbers can be colored with א0 colors so that every set of reals of cardinality 2א0 contains pairs of every color. These results are counterexamples to certain transfinite analogs of Ramsey's theorem. Results of this kind were obtained previously by Sierpiński and by Erdös, Hajnal, and Rado. The Erdös-Hajnal-Rado result is much stronger than ours, but they used the continuum hypothesis and we do not. As by-products, we get an uncountable tournament with no uncountable transitive subtournament, and an uncountable partially ordered set such that every uncountable subset contains an infinite antichain and a chain isomorphic to the rationals. The tournament was pointed out to us by R. Laver, and is included with his permission.
UR - http://www.scopus.com/inward/record.url?scp=0346204975&partnerID=8YFLogxK
U2 - 10.1016/S0097-3165(73)80004-4
DO - 10.1016/S0097-3165(73)80004-4
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0346204975
SN - 0097-3165
VL - 15
SP - 167
EP - 174
JO - Journal of Combinatorial Theory. Series A
JF - Journal of Combinatorial Theory. Series A
IS - 2
ER -