Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
1956_09_01_erdos_rado: Erdős and Rado prove that the order type of the real line arrows (4, alpha) on triples for every alpha below omega times 2, which settles Problem 70 for every beta below omega times 2 and n at most 4; refereed in Bull. AMS.
Linked from (1)
Graph