Guo-Zhen Shen

A choice-free proof of the Erd\H{o}s--Dushnik--Miller theorem

The Erd\H{o}s--Dushnik--Miller theorem states that for every aleph $\kappa$, \[ \kappa\to(\kappa,\omega); \] that is, every coloring $c:[\kappa]^2\to2$ has either a $0$-homogeneous set of cardinality $\kappa$ or a $1$-homogeneous set of cardinality $\omega$. In this article, we present a purely combinatorial proof of t...