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]

Authors

Jennifer Chubb

This author has not been identified. Look up 'Jennifer Chubb' in Google

Jeffry L. Hirst

This author has not been identified. Look up 'Jeffry L. Hirst' in Google

Timothy H. McNicholl

This author has not been identified. Look up 'Timothy H. McNicholl' in Google