Partitions of trees and ACA'

Abstract

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

arXiv commentFinal version for publication. Very minor changes. 5 pages