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 (Bull. Amer. Math. Soc., 1956) prove (2^kappa)^+ -> (kappa^+)^2_kappa; under GCH at kappa = aleph_1 this gives the first relation of Problem 1172 as printed, omega_3 -> (omega_2, omega_1+2)^2.
Linked from (1)
Graph