Partitions of trees and ACA'

Details Partitions of trees and ACA' Partitions of trees and ACA'

2008-09-12

arxiv.org/abs/0809.2267v2

Archive for Mathematical Logic, Volume 48, Number 3, 2009, pp. 227-230

Mathematics

Logic

Final version for publication. Very minor changes. 5 pages

Scientific paper

We show that a version of Ramsey's theorem for trees for arbitrary exponents
is equivalent to the subsystem ACA' of reverse mathematics.

Affiliated with

Also associated with

No associations

Rating

Partitions of trees and ACA' does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Partitions of trees and ACA', we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Partitions of trees and ACA' will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-369850