Archive for Mathematical Logic 48 (3-4):227-230 (2009)

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 Mathematics   Algebra   Mathematics, general   Mathematical Logic and Foundations
Categories (categorize this paper)
DOI 10.1007/s00153-009-0122-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Subsystems of Second-Order Arithmetic.Stephen G. Simpson - 2004 - Studia Logica 77 (1):129-129.
The Polarized Ramsey’s Theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Partitions of Trees And.Bernard A. Anderson & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (3-4):227-230.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
On Scott and Karp Trees of Uncountable Models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Kurepa Trees and Namba Forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.
A First-Order Axiomatization of the Theory of Finite Trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.

Analytics

Added to PP index
2013-11-23

Total views
26 ( #441,476 of 2,519,690 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,690 )

How can I increase my downloads?

Downloads

My notes