RT2 2 does not imply WKL0

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1333566640

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Non‐standard Analysis in WKL 0.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-2):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
2016-06-30

Downloads
40 (#388,897)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
The Thin Set Theorem for Pairs Implies DNR.Brian Rice - 2015 - Notre Dame Journal of Formal Logic 56 (4):595-601.
Reverse mathematical bounds for the Termination Theorem.Silvia Steila & Keita Yokoyama - 2016 - Annals of Pure and Applied Logic 167 (12):1213-1241.

View all 12 citations / Add more citations

References found in this work

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