Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Claims

../

1988_02_01_foreman_laver: Foreman and Laver (Adv. Math., 1988) build from a huge cardinal a model of ZFC and GCH in which every graph of size and chromatic number ℵ2\aleph_2 has a subgraph of size and chromatic number ℵ1\aleph_1, so no graph answers the first question positively there.