Erdős problem 592 · problems.science

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

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

1 retained statement2415f78e850a

Open selected source

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

Sources

Search problems.science