Partitions of trees and ACA'
  We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics. 
Bernard A. Anderson, Jeffry L. Hirst