Partitions of trees and \({{\text \textsf{ACA}}^\prime_{0}}\)

DOI10.1007/s00153-009-0122-xzbMath1172.03006arXiv0809.2267OpenAlexW1982258664MaRDI QIDQ1016503

Jeffry L. Hirst, Bernard A. Anderson

Publication date: 6 May 2009

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0809.2267

zbMATH Keywords

treesreverse mathematicsRamsey's theorem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• The polarized Ramsey's theorem
• Reverse mathematics, computability, and partitions of trees
• The canonical Ramsey theorem and computability theory
• Unnamed Item

This page was built for publication: Partitions of trees and \({{\text \textsf{ACA}}^\prime_{0}}\)