Skip to main content

Reverse mathematics, computability, and partitions of trees

  • Jennifer Chubb (a1), Jeffry L. Hirst (a2) and Timothy H. McNicholl (a3)

We examine the reverse mathematics and computability theory of a form of Ramsey's theorem in which the linear n-tuples of a binary tree are colored.

Hide All
[1]Cholak, Peter A., Jockusch, Carl G., and Slaman, Theodore A., On the strength of Ramsey's theorem for pairs, this Journal, vol. 66 (2001), no. 1, pp. 155.
[2]Deuber, W., Graham, R. L., Promel, H. J., and Voigt, B., A canonical partition theorem for equivalence relations on Zt, Journal of Combinatorial Theory, Series A, vol. 34 (1983), no. 3, pp. 331339.
[3]Hirst, Jeffry L., Combinatorics in subsystems of second order arithmetic, Ph.D. thesis, The Pennsylvania State University, 1987.
[4]Hummel, Tamara Lakins, Effective versions of Ramsey's theorem: Avoiding the cone above 0′, this Journal, vol. 59 (1994), no. 4, pp. 13011325.
[5]Jockusch, Carl G. Jr., Ramsey's theorem and recursion theory, this Journal, vol. 37 (1972), pp. 268280.
[6]Jockusch, Carl G. Jr. and Soare, Robert I., classes and degrees of theories. Transactions of the American Mathematical Society, vol. 173 (1972), pp. 3356.
[7]McNicnoll, Timothy H., The inclusion problem for generalized frequency classes, Ph.D. thesis, The George Washington University, 1995.
[8]Milliken, Keith R., A Ramsey theorem for trees, Journal of Combinatorial Theory. Series A, vol. 26 (1979), no. 3, pp. 215237.
[9]Rogers, Hartley Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Co., New York, 1967.
[10]Simpson, Stephen G., Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed