A Canonical Partition Relation for Finite Subsets of omega

Abstract We prove a canonical partition relation for finite subsets of ω that generalizes Hindman's theorem in much the same way that the Erdos-Rado canonical partition relation generalizes Ramsey's theorem. As an application of this we establish a generalized pigeon-hole principle for infinite dimensional vector spaces over the two element field.

[1]  R. Graham,et al.  Ramsey’s theorem for $n$-parameter sets , 1971 .

[2]  P. Erdös,et al.  A combinatorial theorem , 1950 .

[3]  Keith R. Milliken,et al.  Ramsey's Theorem with Sums or Unions , 1975, J. Comb. Theory, Ser. A.

[4]  R L Graham,et al.  Ramsey's Theorem for a Class of Categories. , 1972, Proceedings of the National Academy of Sciences of the United States of America.

[5]  Neil Hindman,et al.  Finite Sums from Sequences Within Cells of a Partition of N , 1974, J. Comb. Theory, Ser. A.

[6]  James E. Baumgartner,et al.  Canonical Partition Relations , 1975, Journal of Symbolic Logic.

[7]  James E. Baumgartner,et al.  A Short Proof of Hindman's Theorem , 1974, J. Comb. Theory, Ser. A.

[8]  Neil Hindman,et al.  Partition Theorems for Subspaces of Vector Spaces , 1975, J. Comb. Theory, Ser. A.