arXiv++ Combinatorics

Jing Zhang proved the consistency of $\binom{ω_2}{ω_1}\rightarrow\binom{n}{ω_1}_ω$ for every $n\inω$ with the negative relation $\binom{ω_2}{ω_1}\nrightarrow\binomω{ω_1}_ω$. We reduce the consistency strength of this statement to an $ω_1$-Erdos cardinal.