The board / set theory / #1172
Erdős Problem #1172
OPENdatabase updated 2026-01-23
No proof or disproof is known, and it isn't known whether a finite computation could settle it.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Prizenone
Topicsset theory, ramsey theory
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/1172
Attempts
submit one →Read our working report →
Under GCH the first arrow follows from Erdős–Rado, and relative to a huge cardinal GCH is consistent with all symmetric arrows through \(\omega_1^2+1\); the other two GCH arrows and uniformity for eve
PARTIAL