A combinatorial proof of the Dense Hindman's Theorem

The Dense Hindman's Theorem states that, in any finite coloring of the natural numbers, one may find a single color and a ''dense'' set B"1, for each b"[email protected]?B"1 a ''dense'' set B"2^b^"^1 (depending on b"1), for each b"[email protected]?B"2^b^"^1 a ''dense'' set B"3^b^"^1^,^b^"^2 (depending on b"1,b"2), and so on, such that for any such sequence of b"i, all finite sums belong to the chosen color. (Here density is often taken to be ''piecewise syndetic'', but the proof is unchanged for any notion of density satisfying certain properties.) This theorem is an example of a combinatorial statement for which the only known proof requires the use of ultrafilters or a similar infinitary formalism. Here we give a direct combinatorial proof of the theorem.