Results 1 
3 of
3
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 definabl ..."
Abstract

Cited by 34 (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...
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, particular ..."
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
DISCONTINUOUS PHENOMENA
"... ABSTRACT. We discuss the relationship between discontinuity and definability in the Turing degrees, with particular reference to degree invariant solutions to Post’s Problem. Proofs of new results concerning definability in lower cones are outlined. 1. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
ABSTRACT. We discuss the relationship between discontinuity and definability in the Turing degrees, with particular reference to degree invariant solutions to Post’s Problem. Proofs of new results concerning definability in lower cones are outlined. 1.