Wiki
Wiki

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

Updated

Claims

../

2010_05_13_schipperus: Schipperus proves ω^{ω^β} → (ω^{ω^β}, 3)^2 for every countable β that is the sum of one or two indecomposable ordinals; the case β = 2 is the statement of Problem 591, which Darby proved independently.