Skip to content

Erdős problem 590

Let αα be the infinite ordinal ωω\omega^{\omega}. It was proved by Chang [Ch72] that any red/blue colouring of the edges of KαK_α there is either a red KαK_α or a blue K3K_3.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/590.lean

Formal Conjectures

FormalConjectures/ErdosProblems/590.leanErdos590.erdos_5901 lineExact file
OrdinalCardinalRamsey (Ordinal.omega0 ^ Ordinal.omega0) (Ordinal.omega0 ^ Ordinal.omega0) 3
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page