Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
1975_01_01_erdos_lovasz: Theorem 2 of Erdős and Lovász's 1975 paper: a 3-chromatic r-uniform hypergraph has a vertex in more than 2^(r-1)/(4r) edges, exponential in r, answering the question; published and credited as the solution by the site.
Linked from (1)
Graph