Partitions of trees and ACA'
Logic
2011-06-14 v2
Abstract
We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics.
Cite
@article{arxiv.0809.2267,
title = {Partitions of trees and ACA'},
author = {Bernard A. Anderson and Jeffry L. Hirst},
journal= {arXiv preprint arXiv:0809.2267},
year = {2011}
}
Comments
Final version for publication. Very minor changes. 5 pages