Erdős problem 562
Let denote the -uniform hypergraph Ramsey number: the minimal such that if we -colour all edges of the complete -uniform hypergraph on vertices then there must be some monochromatic copy of the complete -uniform hypergraph on vertices.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/562.leanTrue ↔ ∀ r ≥ 3, (fun n => Real.log^[r - 1] ↑(Combinatorics.hypergraphRamsey r n)) =Θ[Filter.atTop] fun n => ↑nOpenStatement only, no proof