Distinguishing two partition properties of $ω_1$
Volume 155 / 1998
Fundamenta Mathematicae 155 (1998), 95-99
DOI: 10.4064/fm-155-1-95-99
Abstract
It is consistent that $ω_1→(ω_1,(ω:2))^2$ but $ω_1↛(ω_1,ω+2)^2$.
