Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic

Stefano Berardi, Silvia Steila

The purpose is to study the strength of Ramsey's Theorem for pairs restricted to recursive assignments of $k$-many colors, with respect to Intuitionistic Heyting Arithmetic. We pro…