Prefer a chat interface with context about you and your work?
The Erdős–Rado Arrow for Singular Cardinals
Abstract We prove in ZFC that if cf(λ) > ℵ 0 and 2 cf(λ) < λ, then λ → (λ, ω + 1) 2 .