Erdős problem 591 · problems.science

Let $α$ be the infinite ordinal $\omega^{\omega^2}$ . Is it true that any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

591.lean

Retained formal statement1 of 1

Let $α$ be the infinite ordinal $\omega^{\omega^2}$ . Is it true that any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$ ?

This is true and was proved independently by Schipperus [Sc10] and Darby.

FormalConjectures/ErdosProblems/591.leanErdos591.erdos_5911 lineExact file

1True ↔ OrdinalCardinalRamsey (Ordinal.omega0 ^ Ordinal.omega0 ^ 2) (Ordinal.omega0 ^ Ordinal.omega0 ^ 2) 3

SolvedStatement only, no proof

Sources

Search problems.science