Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2021_04_30_conlon_fox_pham: Theorem 1.1 of the 2021 preprint at r = 2: a Ramsey 2-complete sequence with O(log² n) terms up to n, and none with c log² n terms up to every large n; an unrefereed preprint the site's curator credits as the resolution.
Linked from (1)
Graph