Journal of Symbolic Logic 66 (3):1371-1381 (2001)

Abstract
We construct the set of the title, answering a question of Cholak, Jockusch, and Slaman [1], and discuss its connections with the study of the proof-theoretic strength and effective content of versions of Ramsey's Theorem. In particular, our result implies that every ω-model of RCA 0 + SRT 2 2 must contain a nonlow set
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2695113
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: 51,707
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Polarized Ramsey’s Theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Partition Theorems and Computability Theory.Joseph R. Mileti - 2005 - Bulletin of Symbolic Logic 11 (3):411-427.
Degrees Bounding Principles and Universal Instances in Reverse Mathematics.Ludovic Patey - 2015 - Annals of Pure and Applied Logic 166 (11):1165-1185.
Stable Ramsey's Theorem and Measure.Damir D. Dzhafarov - 2011 - Notre Dame Journal of Formal Logic 52 (1):95-112.

View all 7 citations / Add more citations

Similar books and articles

Stability and Posets.Carl Jockusch Jr, Bart Kastermans, Steffen Lempp, Manuel Lerman & Reed Solomon - 2009 - Journal of Symbolic Logic 74 (2):693 - 711.
On Quasi-Amorphous Sets.P. Creed & J. K. Truss - 2001 - Archive for Mathematical Logic 40 (8):581-596.
The Fine Structure of the Intuitionistic Borel Hierarchy.Wim Veldman - 2009 - Review of Symbolic Logic 2 (1):30-101.
The Spectrum of Maximal Independent Subsets of a Boolean Algebra.J. Donald Monk - 2004 - Annals of Pure and Applied Logic 126 (1-3):335-348.
$\Pi ^{0}_{1}$ -Encodability and Omniscient Reductions.Benoit Monin & Ludovic Patey - 2019 - Notre Dame Journal of Formal Logic 60 (1):1-12.
Co-Immune Subspaces and Complementation in V∞.R. Downey - 1984 - Journal of Symbolic Logic 49 (2):528 - 538.
A Note on Defining Groups in Stable Structures.Frank O. Wagner - 1994 - Journal of Symbolic Logic 59 (2):575-578.
An Isolic Generalization of Cauchy's Theorem for Finite Groups.J. C. E. Dekker - 1990 - Archive for Mathematical Logic 29 (4):231-236.
Hyperarithmetical Relations in Expansions of Recursive Structures.Alan D. Vlach - 1994 - Annals of Pure and Applied Logic 66 (2):163-196.

Analytics

Added to PP index
2009-01-28

Total views
32 ( #302,744 of 2,333,388 )

Recent downloads (6 months)
1 ( #587,782 of 2,333,388 )

How can I increase my downloads?

Downloads

My notes