# Hindman's theorem

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Hindman's theorem: If $[2]^\omega := \bigcup_{n=0}^\infty [2]^n$ is finitely colored, then one of the color classes contain an infinite-dimensional combinatorial subspace, i.e. another copy of $[2]^\omega$.