Article contents
THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS
Published online by Cambridge University Press: 21 December 2018
Abstract
In this article, we will show that ${\rm{R}}{{\rm{T}}^2} + WK{L_0}$ is a
${\rm{\Pi }}_1^1$-conservative extension of
${\rm{B\Sigma }}_3^0$.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2018
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181218012322582-0433:S0022481218000191:S0022481218000191_inline4.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181218012322582-0433:S0022481218000191:S0022481218000191_inline5.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181218012322582-0433:S0022481218000191:S0022481218000191_inline6.gif?pub-status=live)
- 3
- Cited by