THE STRENGTH OF RAMSEY'S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS

摘要

In this article, we will show that RT2 + WKL0 is a Pi(1)(1)-conservative extension of B Sigma(0)(3).