Reverse mathematics, computability, and partitions of trees

Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl. Reverse mathematics, computability, and partitions of trees. Journal of Symbolic Logic, 74(1):201-215, 2009. [doi]

Abstract

Abstract is missing.