The strength of ramsey’s theorem for pairs and arbitrarily many colors

&
Journal of Symbolic Logic 83 (4):1610-1617 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.19

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Strength of the Rainbow Ramsey Theorem.Barbara F. Csima & Joseph R. Mileti - 2009 - Journal of Symbolic Logic 74 (4):1310 - 1324.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
On the strength of Ramsey's theorem for pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
Corrigendum to: “On the strength of Ramsey's Theorem for pairs”.Peter Cholak, Jr} {Jockusch & Theodore A. Slaman - 2009 - Journal of Symbolic Logic 74 (4):1438-1439.
Corrigendum to: "On the Strength of Ramsey's Theorem for Pairs".Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2009 - Journal of Symbolic Logic 74 (4):1438 - 1439.
A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem.Lorenzo Carlucci - 2018 - Archive for Mathematical Logic 57 (3-4):381-389.
On the strength of Ramsey's theorem without Σ1 -induction.Keita Yokoyama - 2013 - Mathematical Logic Quarterly 59 (1-2):108-111.
On the strength of Ramsey's theorem for pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
Ramsey’s theorem for pairs and K colors as a sub-classical principle of arithmetic.Stefano Berardi & Silvia Steila - 2017 - Journal of Symbolic Logic 82 (2):737-753.
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs_. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, _Separating principles below Ramsey’s Theorem for Pairs_. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ _does not imply WKL_ 0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, _Cone avoiding closed sets_. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, _Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25. [REVIEW]Denis R. Hirschfeldt - 2016 - Bulletin of Symbolic Logic 22 (4):526-530.
Reverse mathematics and Ramsey's property for trees.Jared Corduan, Marcia J. Groszek & Joseph R. Mileti - 2010 - Journal of Symbolic Logic 75 (3):945-954.
Dickson’s lemma and weak Ramsey theory.Yasuhiko Omata & Florian Pelupessy - 2019 - Archive for Mathematical Logic 58 (3-4):413-425.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
Reverse Mathematics and Ramsey Properties of Partial Orderings.Jared Corduan & Marcia Groszek - 2016 - Notre Dame Journal of Formal Logic 57 (1):1-25.

Analytics

Added to PP
2018-12-22

Downloads
11 (#1,132,055)

6 months
5 (#625,196)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references