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.
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。