2000 character limit reached
The strength of Ramsey's theorem for pairs and arbitrarily many colors (1711.08704v2)
Published 23 Nov 2017 in math.LO
Abstract: In this paper, we show that $\mathrm{RT}{2}+\mathsf{WKL}_0$ is a $\Pi{1}_{1}$-conservative extension of $\mathrm{B}\Sigma0_3$.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.