erdős #118
Let be a cardinal or ordinal number or an order type such that every two-colouring of contains either a red or a blue . For every must every two-colouring of contain either a red or a blue ?
Worked, still open.
set theory · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems