Erdős problem 590 · problems.science

Let $α$ be the infinite ordinal $\omega^{\omega}$ . It was proved by Chang [Ch72] 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.

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

590.lean

Retained formal statement2 of 4

Let m be a finite cardinal $< \omega$ . Let $α$ be the infinite ordinal $\omega^{\omega}$ . It was proved by Milnor that any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$ . A shorter proof was found by Larson [La73]

FormalConjectures/ErdosProblems/590.leanErdos590.erdos_590.variants.finite_cardinal1 lineExact file

1∀ (m : ℕ), OrdinalCardinalRamsey (Ordinal.omega0 ^ Ordinal.omega0) (Ordinal.omega0 ^ Ordinal.omega0) ↑m

SolvedStatement only, no proof

Sources

Search problems.science