Distinguishing two partition properties of $ω_1$

ArticleOriginal scientific text

Title

Authors ¹

Department of Computer Science, Eötvös University, Múzeum krt. 6-8, Budapest 1088, Hungary

It is consistent that

ω_{1} \to {(ω_{1}, (ω : 2))}^{2}

but

ω_{1} ↛ {(ω_{1}, ω + 2)}^{2}

.

J. E. Baumgartner and A. Hajnal, A proof (involving Martin's axiom) of a partition relation, Fund. Math. 78 (1973), 193-203.
W. W. Comfort and S. Negrepontis, Chain Conditions in Topology, Cambridge Univ. Press, 1982.
B. Dushnik and E. W. Miller, Partially ordered sets, Amer. J. Math. 63 (1941), 600-610.
P. Erdős and R. Rado, A partition calculus in set theory, Bull. Amer. Math. Soc. 62 (1956), 427-489.
A. Hajnal, Some results and problems on set theory, Acta Math. Acad. Sci. Hungar. 11 (1960), 277-298.
S. Todorčević, Forcing positive partition relations, Trans. Amer. Math. Soc. 280 (1983), 703-720.