erdős #1128
Let be three sets of cardinality . Is it true that, in any -colouring of , there must exist , , , all of cardinality , such that is monochromatic?
Worked, still open.
set theory · solved · prize $50 · formalized (Lean) · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsstatus
solved