Results 1 
7 of
7
1995], Degree theoretic definitions of the low 2 recursively enumerable sets
 J. Symbolic Logic
, 1995
"... 1. Introduction. The primary relation studied in recursion theory is that of relative complexity: A set or function A (of natural numbers) is reducible to one B if, given access to information about B, we can compute A. The primary reducibility is that of Turing, A ≤T B, where arbitrary (Turing) mac ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
1. Introduction. The primary relation studied in recursion theory is that of relative complexity: A set or function A (of natural numbers) is reducible to one B if, given access to information about B, we can compute A. The primary reducibility is that of Turing, A ≤T B, where arbitrary (Turing) machines, ϕe, can be used; access to
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
A General Framework for Priority Arguments
 The Bulletin of Symbolic Logic
, 1995
"... this paper. ..."
Minimal upper bounds for sequences of recursively enumerable degrees
 J. London Math. Soc
"... G. E. Sacks [3; p. 171, q. 4] asked whether there is a uniformly recursively enumerable (r.e.) ascending sequence of r.e. degrees which has as one of its minimal upper bounds another r.e. degree. We show (see the Corollary below) that the answer is " yes ". a is said to be a string if it i ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
G. E. Sacks [3; p. 171, q. 4] asked whether there is a uniformly recursively enumerable (r.e.) ascending sequence of r.e. degrees which has as one of its minimal upper bounds another r.e. degree. We show (see the Corollary below) that the answer is " yes ". a is said to be a string if it is the restriction A[n] of a characteristic function A to the first n +1 nonnegative integers for some number n. a is said to be a beginning of A of length n +1. We use (j> to denote the empty string. Let {<De} be a standard enumeration of the partial recursive functionals. We will need a uniformly recursive double sequence {Oc> s} of finite approximations to {Oc} such that for each e, s, and such that for each s, Oe s is empty for all but a finite number of e's. Define, for each e, Then {Fe} is a standard list of the partial recursive functions with suitably wellbehaved set of approximations {Fe< J. THEOREM. There is a sequence of simultaneously r.e. degrees {bj and a r.e. degree a such that a is recursive in no finite subset o/{b,}, b { is recursive in a for each i, and, for each c < a, c is not an upper bound for {bf}. Proof. We enumerate at stages 0, 1, 2,..., s,... finite sets As, Bt s,i ^ 0, such that, if A = (J As, B i = U Bi>s, then the following objectives are satisfied:
Low upper bounds of ideals
"... Abstract. We show that there is a low Tupper bound for the class of Ktrivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in ∆0 2 Tdegrees for which there is a low Tupper bound. 1. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We show that there is a low Tupper bound for the class of Ktrivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in ∆0 2 Tdegrees for which there is a low Tupper bound. 1.
Simple Sets and Strong Reducibilities
"... We study connections between strong reducibilities and properties of computably enumerable sets such as simplicity. We call a class S of computably enumerable sets bounded iff there is an min complete computably enumerable set A such that every set in S is mreducible to A. For example, we show ..."
Abstract
 Add to MetaCart
We study connections between strong reducibilities and properties of computably enumerable sets such as simplicity. We call a class S of computably enumerable sets bounded iff there is an min complete computably enumerable set A such that every set in S is mreducible to A. For example, we show that the class of eectively simple sets is bounded; but the class of maximal sets is not. Furthermore, the class of computably enumerable sets Turing reducible to a computably enumerable set B is bounded iff B is low 2 . For r = bwtt, tt, wtt and T , there is a bounded class intersecting every computably enumerable rdegree; for r = c, d and p, no such class exists. AMS Classication: 03D30; 03D25 Keywords: Computably enumerable sets (= Recursively enumerable sets); Simple sets; mreducibility; Strong reducibilities; 3 classes; Ideals; Exact pairs 1 Introduction With a typical priority argument, one can show that for any simple set A, there is a simple set B such that B m A. Carl ...