Hindman's theorem (English, name)
expansion: Hindman's theorem
Senses:
topics: mathematics
sciences
glosses: A theorem stating that, if S, is an IP set and S=C_1∪C_2∪...∪C_n, then at least one C_i, contains an IP set.
Forms: