Reverse mathematics and a Ramsey-type König's Lemma

Journal of Symbolic Logic 77 (4):1272-1280 (2012)

Abstract
In this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle
Keywords Ramsey's theorem   weak König's lemma   reverse mathematics
Categories (categorize this paper)
DOI 10.2178/jsl.7704120
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,952
Through your library

References found in this work BETA

On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
A Cohesive Set Which is Not High.Carl Jockusch & Frank Stephan - 1993 - Mathematical Logic Quarterly 39 (1):515-530.
Stable Ramsey's Theorem and Measure.Damir D. Dzhafarov - 2011 - Notre Dame Journal of Formal Logic 52 (1):95-112.

Add more references

Citations of this work BETA

Ramsey-Type Graph Coloring and Diagonal Non-Computability.Ludovic Patey - 2015 - Archive for Mathematical Logic 54 (7-8):899-914.
Degrees Bounding Principles and Universal Instances in Reverse Mathematics.Ludovic Patey - 2015 - Annals of Pure and Applied Logic 166 (11):1165-1185.
Separating Principles Below WKL0.Stephen Flood & Henry Towsner - 2016 - Mathematical Logic Quarterly 62 (6):507-529.
The Strength of the Tree Theorem for Pairs in Reverse Mathematics.Ludovic Patey - 2016 - Journal of Symbolic Logic 81 (4):1481-1499.

Add more citations

Similar books and articles

Comparing DNR and WWKL.Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp & Theodore A. Slaman - 2004 - Journal of Symbolic Logic 69 (4):1089-1104.
On the Indecomposability of $\Omega^{N}$.Jared R. Corduan & François G. Dorais - 2012 - Notre Dame Journal of Formal Logic 53 (3):373-395.
Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
The Weak König Lemma and Uniform Continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
Generalizing König's Infinity Lemma.Robert H. Cowen - 1977 - Notre Dame Journal of Formal Logic 18 (2):243-247.
Ramsey and the Notion of Arbitrary Function.Gabriel Sandu - 2005 - In Maria J. Frapolli Sanz (ed.), Continuum Studies in British Philosophy. London, Great Brittain: Continuum International Publishing Group. pp. 237-256.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
Ideals of Nowhere Ramsey Sets Are Isomorphic.Szymon Plewik - 1994 - Journal of Symbolic Logic 59 (2):662-667.

Analytics

Added to PP index
2012-11-03

Total views
25 ( #346,609 of 2,266,543 )

Recent downloads (6 months)
1 ( #848,217 of 2,266,543 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature