Partitions of trees and ACA'

Bernard A. Anderson, Jeffry L. Hirst

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