RT2 2 does not imply WKL0

Journal of Symbolic Logic 77 (2):609-620 (2012)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1333566640
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: 42,401
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

On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.

Add more references

Citations of this work BETA

Cohesive Sets and Rainbows.Wei Wang - 2014 - Annals of Pure and Applied Logic 165 (2):389-408.
Ramsey-Type Graph Coloring and Diagonal Non-Computability.Ludovic Patey - 2015 - Archive for Mathematical Logic 54 (7-8):899-914.
Reverse Mathematical Bounds for the Termination Theorem.Silvia Steila & Keita Yokoyama - 2016 - Annals of Pure and Applied Logic 167 (12):1213-1241.

View all 7 citations / Add more citations

Similar books and articles

Non‐Standard Analysis in WKL0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.
Subsystems of Second-Order Arithmetic Between RCA0 and WKL0.Carl Mummert - 2008 - Archive for Mathematical Logic 47 (3):205-210.
N? Sets and Models of Wkl0.Stephen G. Simpson - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--352.
A New Conservation Result of WKL 0 Over RCA 0.António Marques Fernandes - 2002 - Archive for Mathematical Logic 41 (1):55-63.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
WKL0 and Stone's Separation Theorem for Convex Sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
Does Optimization Imply Rationality?Philippe Mongin - 2000 - Synthese 124 (1):73-111.
Does Optimization Imply Rationality?Philippe Mongin - 2000 - Synthese 124 (1-2):73 - 111.
Doing and Refraining From Refraining.Ming Xu - 1994 - Journal of Philosophical Logic 23 (6):621 - 632.
Graph Coloring and Reverse Mathematics.James H. Schmerl - 2000 - Mathematical Logic Quarterly 46 (4):543-548.
Suslin's Hypothesis Does Not Imply Stationary Antichains.Chaz Schlindwein - 1993 - Annals of Pure and Applied Logic 64 (2):153-167.
Category Mistakes in M&E.Gilbert Harman - 2003 - Philosophical Perspectives 17 (1):165–180.
A Fine Structure in the Theory of Isols.Joseph Barback - 1998 - Mathematical Logic Quarterly 44 (2):229-264.
RT₂² Does Not Imply WKL₀.Jiayi Liu - 2012 - Journal of Symbolic Logic 77 (2):609-620.
"Actual" Does Not Imply "Feasible".Nicholas Southwood & David Wiens - 2016 - Philosophical Studies 173 (11):3037-3060.

Analytics

Added to PP index
2016-06-30

Total views
14 ( #565,504 of 2,255,369 )

Recent downloads (6 months)
10 ( #124,174 of 2,255,369 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature