|
|||||
|
|
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 等数据库收录！ | |