On the strength of Ramsey's theorem for pairs

We study the proof-theoretic strength and effective content of the infinite form of Ramsey's theorem for pairs. Let RTkn denote Ramsey's theorem for k-colorings of n-element sets, and let RT