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$ ?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/591.lean

Formal Conjectures

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

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

Exact literature solutions identified
GPT-Erdős
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Reported activity

Continue

Search problems.science