Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
1992_07_13_keranen: Keränen's four-letter word without abelian squares gives a positive-unit-step walk with no three-term progression in dimension at least 4, and a finite check forces one in dimensions at most 3; an ICALP 1992 proceedings paper.
Linked from (1)
Graph