scholarly journals On the strength of Ramsey's theorem for pairs

2001 ◽  
Vol 66 (1) ◽  
pp. 1-55 ◽  
Author(s):  
Peter A. Cholak ◽  
Carl G. Jockusch ◽  
Theodore A. Slaman
Keyword(s):  
Natural Numbers ◽  
Ramsey's Theorem ◽  
Strengthened Version ◽  
Ramsey’S Theorem ◽  
Homogeneous Set ◽  
Models Of Arithmetic

AbstractWe study the proof–theoretic strength and effective content of the infinite form of Ramsey's theorem for pairs. Let RTkn denote Ramsey's theorem for k–colorings of n–element sets, and let RT<∞n denote (∀k)RTkn. Our main result on computability is: For any n ≥ 2 and any computable (recursive) k–coloring of the n–element sets of natural numbers, there is an infinite homogeneous set X with X″ ≤T 0(n). Let IΣn and BΣn denote the Σn induction and bounding schemes, respectively. Adapting the case n = 2 of the above result (where X is low2) to models of arithmetic enables us to show that RCA0 + IΣ2 + RT22 is conservative over RCA0 + IΣ2 for Π11 statements and that RCA0 + IΣ3 + RT<∞2 is Π11-conservative over RCA0 + IΣ3. It follows that RCA0 + RT22 does not imply BΣ3. In contrast, J. Hirst showed that RCA0 + RT<∞2 does imply BΣ3, and we include a proof of a slightly strengthened version of this result. It follows that RT<∞2 is strictly stronger than RT22 over RCA0.

Effective versions of Ramsey's Theorem: Avoiding the cone above 0′

1994 ◽  
Vol 59 (4) ◽  
pp. 1301-1325 ◽  
Author(s):  
Tamara Lakins Hummel
Keyword(s):  
Reverse Mathematics ◽  
Natural Numbers ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Homogeneous Set ◽  
Recent Theorem ◽  
Infinite Set ◽  
Degrees Of Unsolvability

AbstractRamsey's Theorem states that if P is a partition of [ω]k into finitely many partition classes, then there exists an infinite set of natural numbers which is homogeneous for P. We consider the degrees of unsolvability and arithmetical definability properties of infinite homogeneous sets for recursive partitions. We give Jockusch's proof of Seetapun's recent theorem that for all recursive partitions of [ω]2 into finitely many pieces, there exists an infinite homogeneous set A such that ∅′ ≰TA. Two technical extensions of this result are given, establishing arithmetical bounds for such a set A. Applications to reverse mathematics and introreducible sets are discussed.

scholarly journals Ramsey's theorem and cone avoidance

2009 ◽  
Vol 74 (2) ◽  
pp. 557-578 ◽  
Author(s):  
Damir D. Dzhafarov ◽  
Carl G. Jockusch
Keyword(s):  
Minimal Pair ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Homogeneous Set

AbstractIt was shown by Cholak, Jockusch, and Slaman that every computable 2-coloring of pairs admits an infinite low2 homogeneous set H. We answer a question of the same authors by showing that H may be chosen to satisfy in addition C ≰rH, where C is a given noncomputable set. This is shown by analyzing a new and simplified proof of Seetapun's cone avoidance theorem for Ramsey's theorem. We then extend the result to show that every computable 2-coloring of pairs admits a pair of low2 infinite homogeneous sets whose degrees form a minimal pair.

Types omitted in uncountable models of arithmetic

1975 ◽  
Vol 40 (3) ◽  
pp. 317-320 ◽  
Author(s):  
Julia F. Knight
Keyword(s):  
Completeness Theorem ◽  
Elementary Extension ◽  
Ramsey's Theorem ◽  
Definable Set ◽  
Ramsey’S Theorem ◽  
Hanf Number ◽  
Definable Sets ◽  
Omitting Types ◽  
Infinite Set ◽  
Models Of Arithmetic

In [4] it is shown that if the structure omits a type Σ, and Σ is complete with respect to Th(), then there is a proper elementary extension of which omits Σ. This result is extended in the present paper. It is shown that Th() has models omitting Σ in all infinite powers.A type is a countable set of formulas with just the variable ν occurring free. A structure is said to omit the type Σ if no element of satisfies all of the formulas of Σ. A type Σ, in the same language as a theory T, is said to be complete with respect to T if (1) T ∪ Σ is consistent, and (2) for every formula φ(ν) of the language of T (with just ν free), either φ or ¬φ is in Σ.The proof of the result of this paper resembles Morley's proof [5] that the Hanf number for omitting types is . It is shown that there is a model of Th() which omits Σ and contains an infinite set of indiscernibles. Where Morley used the Erdös-Rado generalization of Ramsey's theorem, a definable version of the ordinary Ramsey's theorem is used here.The “omitting types” version of the ω-completeness theorem ([1], [3], [6]) is used, as it was in Morley's proof and in [4]. In [4], satisfaction of the hypotheses of the ω-completeness theorem followed from the fact that, in , any infinite, definable set can be split into two infinite, definable sets.

Sets which do not have subsets of every higher degree

1978 ◽  
Vol 43 (1) ◽  
pp. 135-138 ◽  
Author(s):  
Stephen G. Simpson
Keyword(s):  
Similar Degree ◽  
Theoretic Analysis ◽  
Natural Numbers ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Infinite Sets ◽  
Special Case

Let A be a subset of ω, the set of natural numbers. The degree of A is its degree of recursive unsolvability. We say that A is rich if every degree above that of A is represented by a subset of A. We say that A is poor if no degree strictly above that of A is represented by a subset of A. The existence of infinite poor (and hence nonrich) sets was proved by Soare [9].Theorem 1. Suppose that A is infinite and not rich. Then every hyperarith-metical subset H of ω is recursive in A.In the special case when H is arithmetical, Theorem 1 was proved by Jockusch [4] who employed a degree-theoretic analysis of Ramsey's theorem [3]. In our proof of Theorem 1 we employ a similar, degree-theoretic analysis of a certain generalization of Ramsey's theorem. The generalization of Ramsey's theorem is due to Nash-Williams [6]. If A ⊆ ω we write [A]ω for the set of all infinite subsets of A. If P ⊆ [ω]ω we let H(P) be the set of all infinite sets A such that either [A]ω ⊆ P = ∅. Nash-Williams' theorem is essentially the statement that if P ⊆ [ω]ω is clopen (in the usual, Baire topology on [ω]ω) then H(P) is nonempty. Subsequent, further generalizations of Ramsey's theorem were proved by Galvin and Prikry [1], Silver [8], Mathias [5], and analyzed degree-theoretically by Solovay [10]; those results are not needed for this paper.

scholarly journals Generalized cohesiveness

1999 ◽  
Vol 64 (2) ◽  
pp. 489-516 ◽  
Author(s):  
Tamara Hummel ◽  
Carl G. Jockusch
Keyword(s):  
Natural Numbers ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Infinite Set ◽  
Degrees Of Unsolvability ◽  
Computably Enumerable

AbstractWe 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 n-cohesive set. We improve this result for n = 2 by showing that there is a 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.

Ramsey's theorem and recursion theory

1972 ◽  
Vol 37 (2) ◽  
pp. 268-280 ◽  
Author(s):  
Carl G. Jockusch
Keyword(s):  
Recursion Theory ◽  
The Other ◽  
Natural Numbers ◽  
Arithmetical Hierarchy ◽  
Original Proof ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Infinite Sets ◽  
Recursive Partition ◽  
Positive Results

Let N be the set of natural numbers. If A ⊆ N, let [A]n denote the class of all n-element subsets of A. If P is a partition of [N]n into finitely many classes C1, …, Cp, let H(P) denote the class of those infinite sets A ⊆ N such that [A]n ⊆ Ci for some i. Ramsey's theorem [8, Theorem A] asserts that H(P) is nonempty for any such partition P. Our purpose here is to study what can be said about H(P) when P is recursive, i.e. each Ci, is recursive under a suitable coding of [N]n. We show that if P is such a recursive partition of [N]n, then H(P) contains a set which is Πn0 in the arithmetical hierarchy. In the other direction we prove that for each n ≥ 2 there is a recursive partition P of [N]n into two classes such that H(P) contains no Σn0 set. These results answer a question raised by Specker [12].A basic partition is a partition of [N]2 into two classes. In §§2, 3, and 4 we concentrate on basic partitions and in so doing prepare the way for the general results mentioned above. These are proved in §5. Our “positive” results are obtained by effectivizing proofs of Ramsey's theorem which differ from the original proof in [8]. We present these proofs (of which one is a generalization of the other) in §§4 and 5 in order to clarify the motivation of the effective versions.

On the Ramsey property for sets of reals

1983 ◽  
Vol 48 (4) ◽  
pp. 1035-1045 ◽  
Author(s):  
Ilias G. Kastanas
Keyword(s):  
Winning Strategy ◽  
Ramsey Property ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Homogeneous Set ◽  
Person Game

AbstractWe review some known results about the Ramsey property for partitions of reals, and we present a certain two-person game such that if either player has a winning strategy then a homogeneous set for the partition can be constructed, and conversely. This gives alternative proofs of some of the known results. We then discuss possible uses of the game in obtaining effective versions of Ramsey's theorem and prove a theorem along these lines.

scholarly journals On notions of computability-theoretic reduction between Π21 principles

2016 ◽  
Vol 16 (01) ◽  
pp. 1650002 ◽  
Author(s):  
Denis R. Hirschfeldt ◽  
Carl G. Jockusch
Keyword(s):  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Homogeneous Set ◽  
Thin Set ◽  
König’S Lemma

Several notions of computability-theoretic reducibility between [Formula: see text] principles have been studied. This paper contributes to the program of analyzing the behavior of versions of Ramsey’s Theorem and related principles under these notions. Among other results, we show that for each [Formula: see text], there is an instance of RT[Formula: see text] all of whose solutions have PA degree over [Formula: see text] and use this to show that König’s Lemma lies strictly between RT[Formula: see text] and RT[Formula: see text] under one of these notions. We also answer two questions raised by Dorais, Dzhafarov, Hirst, Mileti, and Shafer (2016) on comparing versions of Ramsey’s Theorem and of the Thin Set Theorem with the same exponent but different numbers of colors. Still on the topic of the effect of the number of colors on the computable aspects of Ramsey-theoretic properties, we show that for each [Formula: see text], there is an [Formula: see text]-coloring [Formula: see text] of [Formula: see text] such that every [Formula: see text]-coloring of [Formula: see text] has an infinite homogeneous set that does not compute any infinite homogeneous set for [Formula: see text], and connect this result with the notion of infinite information reducibility introduced by Dzhafarov and Igusa (to appear). Next, we introduce and study a new notion that provides a uniform version of the idea of implication with respect to [Formula: see text]-models of RCA0, and related notions that allow us to count how many applications of a principle [Formula: see text] are needed to reduce another principle to [Formula: see text]. Finally, we fill in a gap in the proof of Theorem 12.2 in Cholak, Jockusch, and Slaman (2001).

scholarly journals ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM

2017 ◽  
Vol 82 (4) ◽  
pp. 1278-1316 ◽  
Author(s):  
VASCO BRATTKA ◽  
TAHINA RAKOTONIAINA
Keyword(s):  
Finite Number ◽  
Ramsey's Theorem ◽  
Borel Hierarchy ◽  
Ramsey’S Theorem ◽  
Homogeneous Set ◽  
Colored Version ◽  
Output Information ◽  
Image Position ◽  
Weak König’S Lemma ◽  
König’S Lemma

AbstractWe study the uniform computational content of Ramsey’s theorem in the Weihrauch lattice. Our central results provide information on how Ramsey’s theorem behaves under product, parallelization, and jumps. From these results we can derive a number of important properties of Ramsey’s theorem. For one, the parallelization of Ramsey’s theorem for cardinalityn≥ 1 and an arbitrary finite number of colorsk≥ 2 is equivalent to then-th jump of weak Kőnig’s lemma. In particular, Ramsey’s theorem for cardinalityn≥ 1 is${\bf{\Sigma }}_{n + 2}^0$-measurable in the effective Borel hierarchy, but not${\bf{\Sigma }}_{n + 1}^0$-measurable. Secondly, we obtain interesting lower bounds, for instance then-th jump of weak Kőnig’s lemma is Weihrauch reducible to (the stable version of) Ramsey’s theorem of cardinalityn+ 2 forn≥ 2. We prove that with strictly increasing numbers of colors Ramsey’s theorem forms a strictly increasing chain in the Weihrauch lattice. Our study of jumps also shows that certain uniform variants of Ramsey’s theorem that are indistinguishable from a nonuniform perspective play an important role. For instance, the colored version of Ramsey’s theorem explicitly includes the color of the homogeneous set as output information, and the jump of this problem (but not the uncolored variant) is equivalent to the stable version of Ramsey’s theorem of the next greater cardinality. Finally, we briefly discuss the particular case of Ramsey’s theorem for pairs, and we provide some new separation techniques for problems that involve jumps in this context. In particular, we study uniform results regarding the relation of boundedness and induction problems to Ramsey’s theorem, and we show that there are some significant differences with the nonuniform situation in reverse mathematics.

Sign in / Sign up

Export Citation Format

Share Document