Results 1  10
of
26
On the strength of Ramsey’s Theorem for pairs
 JOURNAL OF SYMBOLIC LOGIC
, 2001
"... We study the proof–theoretic strength and effective content denote Ramof the infinite form of Ramsey’s theorem for pairs. Let RT n k sey’s theorem for k–colorings of n–element sets, and let RT n < ∞ denote (∀k)RTn k. Our main result on computability is: For any n ≥ 2 and any computable (recurs ..."
Abstract

Cited by 78 (11 self)
 Add to MetaCart
We study the proof–theoretic strength and effective content denote Ramof the infinite form of Ramsey’s theorem for pairs. Let RT n k sey’s theorem for k–colorings of n–element sets, and let RT n < ∞ denote (∀k)RTn k. 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 is conservative of arithmetic enables us to show that RCA0 + I �2 + RT2 2 over RCA0 + I �2 for �1 1 statements and that RCA0 + I �3 + RT2 < ∞ is �1 1conservative over RCA0 + I �3. It follows that RCA0 + RT2 2 does not imply B �3. In contrast, J. Hirst showed that RCA0 + RT2 < ∞ does imply B �3, and we include a proof of a slightly strengthened version of this result. It follows that RT2 < ∞ is strictly stronger than RT2 2 over RC A0.
Combinatorial Principles Weaker than Ramsey's Theorem for Pairs
"... We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order ha ..."
Abstract

Cited by 50 (9 self)
 Add to MetaCart
We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (ChainAntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is wellknown that Ramsey's Theorem for pairs (RT
Using random sets as oracles
"... Let R be a notion of algorithmic randomness for individual subsets of N. We say B is a base for R randomness if there is a Z �T B such that Z is R random relative to B. We show that the bases for 1randomness are exactly the Ktrivial sets and discuss several consequences of this result. We also sho ..."
Abstract

Cited by 49 (20 self)
 Add to MetaCart
(Show Context)
Let R be a notion of algorithmic randomness for individual subsets of N. We say B is a base for R randomness if there is a Z �T B such that Z is R random relative to B. We show that the bases for 1randomness are exactly the Ktrivial sets and discuss several consequences of this result. We also show that the bases for computable randomness include every ∆ 0 2 set that is not diagonally noncomputable, but no set of PAdegree. As a consequence, we conclude that an nc.e. set is a base for computable randomness iff it is Turing incomplete. 1
Randomness in Computability Theory
, 2000
"... We discuss some aspects of algorithmic randomness and state some open problems in this area. The first part is devoted to the question "What is a computably random sequence?" Here we survey some of the approaches to algorithmic randomness and address some questions on these concepts. I ..."
Abstract

Cited by 30 (0 self)
 Add to MetaCart
We discuss some aspects of algorithmic randomness and state some open problems in this area. The first part is devoted to the question "What is a computably random sequence?" Here we survey some of the approaches to algorithmic randomness and address some questions on these concepts. In the second part we look at the Turing degrees of MartinLof random sets. Finally, in the third part we deal with relativized randomness. Here we look at oracles which do not change randomness. 1980 Mathematics Subject Classification. Primary 03D80; Secondary 03D28. 1 Introduction Formalizations of the intuitive notions of computability and randomness are among the major achievements in the foundations of mathematics in the 20th century. It is commonly accepted that various equivalent formal computability notions  like Turing computability or recursiveness  which were introduced in the 1930s and 1940s adequately capture computability in the intuitive sense. This belief is expressed in the w...
The theory of the degrees below 0
 J. London Math. Soc
, 1981
"... Degree theory, that is the study of the structure of the Turing degrees (or degrees of unsolvability) has been divided by Simpson [24; §5] into two parts—global and local. By the global theory he means the study of general structural properties of 3d— the degrees as a partially ordered set or uppers ..."
Abstract

Cited by 22 (7 self)
 Add to MetaCart
(Show Context)
Degree theory, that is the study of the structure of the Turing degrees (or degrees of unsolvability) has been divided by Simpson [24; §5] into two parts—global and local. By the global theory he means the study of general structural properties of 3d— the degrees as a partially ordered set or uppersemilattice. The local theory concerns
Partition Theorems and Computability Theory
 Bull. Symbolic Logic
, 2004
"... The computabilitytheoretic and reverse mathematical aspects of various combinatorial principles, such as König’s Lemma and Ramsey’s Theorem, have received a great deal of attention and are active areas of research. We carry on this study of effective combinatorics by analyzing various partition the ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
(Show Context)
The computabilitytheoretic and reverse mathematical aspects of various combinatorial principles, such as König’s Lemma and Ramsey’s Theorem, have received a great deal of attention and are active areas of research. We carry on this study of effective combinatorics by analyzing various partition theorems (such as Ramsey’s Theorem) with the aim of understanding the complexity of solutions to computable instances in terms of the Turing degrees and the arithmetical hierarchy. Our main focus is the study of the effective content of two partition theorems allowing infinitely many colors: the Canonical Ramsey Theorem of Erdös and Rado, and the Regressive Function Theorem of Kanamori and McAloon. Our results on the complexity of solutions rely heavily on a new, purely inductive, proof of the Canonical Ramsey Theorem. This study unearths some interesting relationships between these two partition theorems, Ramsey’s Theorem, and Konig’s Lemma, and these connections will be emphasized. We also study Ramsey degrees, i.e. those Turing degrees which are able to compute homogeneous sets for every computable 2coloring of pairs of natural numbers, in an attempt to further understand the effective content of Ramsey’s Theorem for exponent 2. We establish some new results about these degrees, and obtain as a corollary the nonexistence of a “universal ” computable 2coloring of pairs of natural numbers.
Ramsey’s Theorem and cone avoidance
 JOURNAL
"... It was shown by Cholak, Jockusch, and Slaman that every computable 2coloring 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 ̸≤T H, where C is a given noncomputable set. This is shown by analyzing ..."
Abstract

Cited by 12 (6 self)
 Add to MetaCart
It was shown by Cholak, Jockusch, and Slaman that every computable 2coloring 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 ̸≤T H, 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 2coloring of pairs admits a pair of low2 infinite homogeneous sets whose degrees form a minimal pair.
Π 0 1 sets and models of WKL0
"... We show that any two Medvedev complete Π 0 1 subsets of 2 ω are recursively homeomorphic. We obtain a Π 0 1 set Q ′ of countable coded ωmodels of WKL0 with a strong homogeneity property. We show that if G is a generic element of Q ′ , then the ωmodel of WKL0 coded by G satisfies ∀X∀Y (if X is de ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
We show that any two Medvedev complete Π 0 1 subsets of 2 ω are recursively homeomorphic. We obtain a Π 0 1 set Q ′ of countable coded ωmodels of WKL0 with a strong homogeneity property. We show that if G is a generic element of Q ′ , then the ωmodel of WKL0 coded by G satisfies ∀X∀Y (if X is definable from Y, then X is Turing reducible to Y). We use a result of Kučera to refute some plausible conjectures concerning ωmodels of WKL0. We generalize our results to nonωmodels of WKL0. We discuss the significance of our results for foundations of mathematics.
The canonical Ramsey theorem and computability theory
"... Using the tools of computability theory and reverse mathematics, we study the complexity of two partition theorems, the Canonical Ramsey Theorem of Erdös and Rado, and the Regressive Function Theorem of Kanamori and McAloon. Our main aim is to analyze the complexity of the solutions to computable in ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
(Show Context)
Using the tools of computability theory and reverse mathematics, we study the complexity of two partition theorems, the Canonical Ramsey Theorem of Erdös and Rado, and the Regressive Function Theorem of Kanamori and McAloon. Our main aim is to analyze the complexity of the solutions to computable instances of these problems in terms of the Turing degrees and the arithmetical hierarchy. We succeed in giving a sharp characterization for the Canonical Ramsey Theorem for exponent 2 and for the Regressive Function Theorem for all exponents. These results rely heavily on a new, purely inductive, proof of the Canonical Ramsey Theorem. This study also unearths some interesting relationships between these two partition theorems, Ramsey’s Theorem, and Konig’s Lemma. 1
Natural Definability in Degree Structures
"... . A major focus of research in computability theory in recent years has involved denability issues in degree structures. There has been much success in getting general results by coding methods that translate rst or second order arithmetic into the structures. In this paper we concentrate on the ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
. A major focus of research in computability theory in recent years has involved denability issues in degree structures. There has been much success in getting general results by coding methods that translate rst or second order arithmetic into the structures. In this paper we concentrate on the issues of getting denitions of interesting, apparently external, relations on degrees that are ordertheoretically natural in the structures D and R of all the Turing degrees and of the r.e. Turing degrees, respectively. Of course, we have no formal denition of natural but we oer some guidelines, examples and suggestions for further research. 1. Introduction A major focus of research in computability theory in recent years has involved denability issues in degree structures. The basic question is, which interesting apparently external relations on degrees can actually be dened in the structures themselves, that is, in the rst order language with the single fundamental relation...