Erdős problem 592

Determine which countable ordinals $β$ have the property that, if $α = \omega^β$ , then in any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$ .

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

FormalConjectures/ErdosProblems/

592.lean

Retained formal statement1 of 1

Determine which countable ordinals $β$ have the property that, if $α = \omega^β$ , then in any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$ .

FormalConjectures/ErdosProblems/592.leanErdos592.erdos_5922 linesExact file

1∀ (β : Ordinal.{u}),2  β.card ≤ Cardinal.aleph0 → OrdinalCardinalRamsey (Ordinal.omega0 ^ β) (Ordinal.omega0 ^ β) 3 ↔ sorry β

OpenStatement only, no proof