Partitions of trees and ACA'
classification
🧮 math.LO
keywords
treesarbitraryequivalentexponentsmathematicspartitionsramseyreverse
read the original abstract
We show that a version of Ramsey's theorem for trees for arbitrary exponents is equivalent to the subsystem ACA' of reverse mathematics.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.