Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics

Abstract

At first sight, the argument which F.P. Ramsey gave for (the infinite case of) his famous theorem from 1927, is hopelessly unconstructive. If suitably reformulated, the theorem is true intuitionistically as well as classically: we offer a proof which should convince both the classical and the intuitionistic reader.