Results 1 
8 of
8
Parameter Definability in the Recursively Enumerable Degrees
"... The biinterpretability conjecture for the r.e. degrees asks whether, for each sufficiently large k, the # k relations on the r.e. degrees are uniformly definable from parameters. We solve a weaker version: for each k >= 7, the k relations bounded from below by a nonzero degree are uniformly defin ..."
Abstract

Cited by 36 (13 self)
 Add to MetaCart
The biinterpretability conjecture for the r.e. degrees asks whether, for each sufficiently large k, the # k relations on the r.e. degrees are uniformly definable from parameters. We solve a weaker version: for each k >= 7, the k relations bounded from below by a nonzero degree are uniformly definable. As applications, we show that...
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 18 (6 self)
 Add to MetaCart
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
Conjectures and Questions from Gerald Sacks’s Degrees of Unsolvability
 Archive for Mathematical Logic
, 1993
"... We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years. Gerald Sacks has had a major influence on the development of logic, parti ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years. Gerald Sacks has had a major influence on the development of logic, particularly recursion theory, over the past thirty years through his research, writing and teaching. Here, I would like to concentrate on just one instance of that influence that I feel has been of special significance to the study of the degrees of unsolvability in general and on my own work in particular the conjectures and questions posed at the end of the two editions of Sacks's first book, the classic monograph Degrees of Unsolvability (Annals
The theory of the metarecursively enumerable degrees
"... Abstract. Sacks [Sa1966a] asks if the metarecursivley enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as O (ω) or, equival ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. Sacks [Sa1966a] asks if the metarecursivley enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as O (ω) or, equivalently, that of the truth set of L ω CK
The Theories of the T, tt and wtt R. E. Degrees: Undecidability and Beyond
"... We discuss the structure of the recursively enumerable sets under three reducibilities: Turing, truthtable and weak truthtable. Weak truthtable reducibility requires that the questions asked of the oracle be effectively bounded. Truthtable reducibility also demands such a bound on the the length ..."
Abstract
 Add to MetaCart
We discuss the structure of the recursively enumerable sets under three reducibilities: Turing, truthtable and weak truthtable. Weak truthtable reducibility requires that the questions asked of the oracle be effectively bounded. Truthtable reducibility also demands such a bound on the the length of the computations. We survey what is known about the algebraic structure and the complexity of the decision procedure for each of the associated degree structures. Each of these structures is an upper semilattice with least and greatest element. Typical algebraic questions include the existence of infima, distributivity, embeddings of partial orderings or lattices and extension of embedding problems such as density. We explain how the algebraic information is used to decide fragments of the theories and then to prove their undecidability (and more). Finally, we discuss some results and open problems concerning automorphisms, definability and the complexity of the decision problems for the...
Contemporary Mathematics Natural Definability in Degree Structures
"... A major focus of research in computability theory in recent years has involved definability issues in degree structures. There has been much success in getting general results by coding methods that translate first or second order arithmetic into the structures. In this paper we concentrate on the i ..."
Abstract
 Add to MetaCart
A major focus of research in computability theory in recent years has involved definability issues in degree structures. There has been much success in getting general results by coding methods that translate first or second order arithmetic into the structures. In this paper we concentrate on the issues of getting definitions 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 definition of natural but we offer some guidelines, examples and suggestions for further research.
Computability Theory, Algorithmic Randomness and Turing’s Anticipation
"... This article looks at the applications of Turing’s Legacy in computation, particularly to the theory of algorithmic randomness, where classical mathematical concepts such as measure could be made computational. It also traces Turing’s anticipation of this theory in an early manuscript. ..."
Abstract
 Add to MetaCart
This article looks at the applications of Turing’s Legacy in computation, particularly to the theory of algorithmic randomness, where classical mathematical concepts such as measure could be made computational. It also traces Turing’s anticipation of this theory in an early manuscript.
Interpolating dr. e. and REA degrees between r. e. degrees
, 1995
"... This paper is a contribution to the investigation of the relationship between the ..."
Abstract
 Add to MetaCart
This paper is a contribution to the investigation of the relationship between the