Project

Investigations into the strength Hindman's theorem and its alternative formulations.