Erdős problem 70

Erdős Problem 70: Let $\mathfrak{c}$ be the cardinality of the continuum, let $\beta$ be a countable ordinal, and let $2 \le n < \omega$ . Is it true that $\mathfrak{c} \to (\beta, n)^3_2$ ?

No current result

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

FormalConjectures/ErdosProblems/70.lean

Formal Conjectures

FormalConjectures/ErdosProblems/70.leanErdos70.erdos_703 linesExact file

1True ↔2  ∀ (β : Ordinal.{0}) (n : ℕ),3    β.card ≤ Cardinal.aleph0 → 2 ≤ n → Erdos70.OrdinalCardinalRamsey3 Cardinal.continuum.ord β ↑n

OpenStatement only, no proof