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

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/592.lean

Formal Conjectures

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

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Continue

Search problems.science