Partitions of trees and {{sf ACA}^prime_{0}} |
| |
Authors: | Bernard A. Anderson Jeffry L. Hirst |
| |
Affiliation: | 1. Appalachian State University, Boone, NC, USA
|
| |
Abstract: | We show that a version of Ramsey’s theorem for trees for arbitrary exponents is equivalent to the subsystem ${{sf ACA}^prime_{0}}$ of reverse mathematics. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |