Journal of Symbolic Logic 64 (2):489-516 (1999)
We study some generalized notions of cohesiveness which arise naturally in connection with effective versions of Ramsey's Theorem. An infinite set A of natural numbers is n-cohesive (respectively, n-r-cohesive) if A is almost homogeneous for every computably enumerable (respectively, computable) 2-coloring of the n-element sets of natural numbers. (Thus the 1-cohesive and 1-r-cohesive sets coincide with the cohesive and r-cohesive sets, respectively.) We consider the degrees of unsolvability and arithmetical definability levels of n-cohesive and n-r-cohesive sets. For example, we show that for all n ≥ 2, there exists a Δ 0 n+1 n-cohesive set. We improve this result for n = 2 by showing that there is a Π 0 2 2-cohesive set. We show that the n-cohesive and n-r-cohesive degrees together form a linear, non-collapsing hierarchy of degrees for n ≥ 2. In addition, for n ≥ 2 we characterize the jumps of n-cohesive degrees as exactly the degrees ≥ 0 (n+1) and also characterize the jumps of the n-r-cohesive degrees
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Correction to “a Cohesive Set Which is Not High”.Carl Jockusch & Frank Stephan - 1997 - Mathematical Logic Quarterly 43 (4):569-569.
Citations of this work BETA
Partition Theorems and Computability Theory.Joseph R. Mileti - 2005 - Bulletin of Symbolic Logic 11 (3):411-427.
2000 Annual Meeting of the Association for Symbolic Logic.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3):361-396.
Similar books and articles
Protecting Communities in Research: Current Guidelines and Limits of Extrapolation.Charles Weijer, Gary Goldsand & Ezekiel J. Emanuel - unknown
Effective Versions of Ramsey's Theorem: Avoiding the Cone Above 0'.Tamara Lakins Hummel - 1994 - Journal of Symbolic Logic 59 (4):1301-1325.
Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness".Carl G. Jockusch & Tamara J. Lakins - 2002 - Journal of Symbolic Logic 67 (3):1078 - 1082.
Foundations of a General Ethics: Selves, Sentient Beings, and Other Responsively Cohesive Structures.Warwick Fox - 2011 - Royal Institute of Philosophy Supplement 69:47-66.
Added to index2009-01-28
Total downloads13 ( #351,541 of 2,163,666 )
Recent downloads (6 months)1 ( #348,043 of 2,163,666 )
How can I increase my downloads?