I'm working on some Combinatorics, and in the past have happily used the infinite Ramsey Theorem (as detailed on http://en.wikipedia.org/wiki/Ramsey%27s_theorem), which says that for something like $\mathbb{N}$, given any finite colouring of the size-$n$ subsets of $\mathbb{N}$ (for n fixed), there exists an infinite subset M with all size-$n$ subsets of M monochromatic. I only need the existence of arbitrarily large such M here, not infinite.
However, I'm trying to work my way through the following paper: http://www.mendeley.com/research/transfinite-approximation-hindmans-theorem/# (I seem to be able to preview the first 15 pages for free, hopefully you can too) and having reached the end of the third page, there is a proof about monochromatic finite unions of disjoint sets (the 'power-set version of Folkman's theorem', informally), which appears to use the result that we can always find a (finite) set of arbitrarily large size for which all finite subsets are monochromatic with colour depending only on their cardinality. (In the above paper this set is denoted 'Y'.)
So, essentially this is saying we can find an arbitrarily large subset M for which Ramsey's theorem applies for all size-$n$ subsets of M for every single $n$, $1 \leq n \leq |M|$, simultaneously, just with colours varying across different n. However, I can't seem to find any documentation of this following from Ramsey's theorem, and it is not obvious to me that given the theorem in my first paragraph, we can easily deduce such a subset exists which works for all these different $n$ simultaneously. A number of sources I've seen just call this result 'Ramsey's Theorem' however (including the above paper), so I presume it must follow reasonably easy from the fixed-$n$ case; could someone please enlighten me as to how we get to this 'extended Ramsey's Theorem'? Many thanks - Ben