Notre Dame Journal of Formal Logic 52 (1):95-112 (2011)

Abstract
The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are nonnull in a certain effective measure-theoretic sense. We show that the sets that can compute infinite homogeneous sets for nonnull many computable stable colorings and the sets that can compute infinite homogeneous sets for all computable stable colorings agree below $\emptyset'$ but not in general. We also answer the analogs of two well-known questions about the stable Ramsey's theorem by showing that our weaker principle does not imply COH or WKL 0 in the context of reverse mathematics
Keywords Ramsey's theorem   effective measure theory   reverse mathematics
Categories (categorize this paper)
Reprint years 2011
DOI 10.1215/00294527-2010-039
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: 60,826
Through your library

References found in this work BETA

Ramsey's Theorem and Recursion Theory.Carl G. Jockusch - 1972 - Journal of Symbolic Logic 37 (2):268-280.
Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
A Cohesive Set Which is Not High.Carl Jockusch & Frank Stephan - 1993 - Mathematical Logic Quarterly 39 (1):515-530.

View all 10 references / Add more references

Citations of this work BETA

Reverse Mathematics and a Ramsey-Type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
A Strong Law of Computationally Weak Subsets.Bjørn Kjos-Hanssen - 2011 - Journal of Mathematical Logic 11 (1):1-10.
Reverse Mathematics and Ramsey Properties of Partial Orderings.Jared Corduan & Marcia Groszek - 2016 - Notre Dame Journal of Formal Logic 57 (1):1-25.

Add more citations

Similar books and articles

Ramsey Sets, the Ramsey Ideal, and Other Classes Over R.Paul Corazza - 1992 - Journal of Symbolic Logic 57 (4):1441 - 1468.
`Sex-Equal' Stable Matchings.Antonio Romero-Medina - 2001 - Theory and Decision 50 (3):197-212.
A Recursion Theoretic Analysis of the Clopen Ramsey Theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
A Simple Proof and Some Difficult Examples for Hindman's Theorem.Henry Towsner - 2012 - Notre Dame Journal of Formal Logic 53 (1):53-65.
On the Ramsey Property for Sets of Reals.Ilias G. Kastanas - 1983 - Journal of Symbolic Logic 48 (4):1035-1045.
Small Stable Groups and Generics.Frank O. Wagner - 1991 - Journal of Symbolic Logic 56 (3):1026-1037.
Expansions of Models of Ω-Stable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Simple Stable Homogeneous Groups.Alexander Berenstein - 2003 - Journal of Symbolic Logic 68 (4):1145-1162.
Generalized Cohesiveness.Tamara Hummel & Carl G. Jockusch - 1999 - Journal of Symbolic Logic 64 (2):489-516.
The Classification of Small Weakly Minimal Sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.
One Theorem of Zil′Ber's on Strongly Minimal Sets.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1054-1061.
On Atomic or Saturated Sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
Sous-Groupes Periodiques d'Un Groupe Stable.Bruno Poizat & Frank Wagner - 1993 - Journal of Symbolic Logic 58 (2):385-400.

Analytics

Added to PP index
2010-12-14

Total views
18 ( #576,291 of 2,438,839 )

Recent downloads (6 months)
1 ( #435,061 of 2,438,839 )

How can I increase my downloads?

Downloads

My notes