Skip to content

Erdős problem 562

Let Rr(n)R_r(n) denote the rr-uniform hypergraph Ramsey number: the minimal mm such that if we 22-colour all edges of the complete rr-uniform hypergraph on mm vertices then there must be some monochromatic copy of the complete rr-uniform hypergraph on nn vertices.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/562.lean

Formal Conjectures

FormalConjectures/ErdosProblems/562.leanErdos562.erdos_5621 lineExact file
True ↔ ∀ r ≥ 3, (fun n => Real.log^[r - 1] ↑(Combinatorics.hypergraphRamsey r n)) =Θ[Filter.atTop] fun n => ↑n
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page