Erdős problem 590
Let be the infinite ordinal . It was proved by Chang [Ch72] that any red/blue colouring of the edges of there is either a red or a blue .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/590.leanOrdinalCardinalRamsey (Ordinal.omega0 ^ Ordinal.omega0) (Ordinal.omega0 ^ Ordinal.omega0) 3SolvedStatement only, no proof