%0 Journal Article
%T Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic
%A Henry Towsner
%J Mathematics
%D 2009
%I arXiv
%X Hindman's Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated into second order arithmetic.
%U http://arxiv.org/abs/0906.3882v1