Results 1  10
of
42
An oracle builder’s toolkit
, 2002
"... We show how to use various notions of genericity as tools in oracle creation. In particular, 1. we give an abstract definition of genericity that encompasses a large collection of different generic notions; 2. we consider a new complexity class AWPP, which contains BQP (quantum polynomial time), and ..."
Abstract

Cited by 46 (11 self)
 Add to MetaCart
(Show Context)
We show how to use various notions of genericity as tools in oracle creation. In particular, 1. we give an abstract definition of genericity that encompasses a large collection of different generic notions; 2. we consider a new complexity class AWPP, which contains BQP (quantum polynomial time), and infer several strong collapses relative to SPgenerics; 3. we show that under additional assumptions these collapses also occur relative to Cohen generics; 4. we show that relative to SPgenerics, ULIN ∩ coULIN ̸ ⊆ DTIME(n k) for any k, where ULIN is unambiguous linear time, despite the fact that UP ∪ (NP ∩ coNP) ⊆ P relative to these generics; 5. we show that there is an oracle relative to which NP/1∩coNP/1 ̸ ⊆ (NP∩coNP)/poly; and 6. we use a specialized notion of genericity to create an oracle relative to which NP BPP ̸ ⊇ MA.
Computability and recursion
 BULL. SYMBOLIC LOGIC
, 1996
"... We consider the informal concept of “computability” or “effective calculability” and two of the formalisms commonly used to define it, “(Turing) computability” and “(general) recursiveness.” We consider their origin, exact technical definition, concepts, history, general English meanings, how they b ..."
Abstract

Cited by 37 (1 self)
 Add to MetaCart
We consider the informal concept of “computability” or “effective calculability” and two of the formalisms commonly used to define it, “(Turing) computability” and “(general) recursiveness.” We consider their origin, exact technical definition, concepts, history, general English meanings, how they became fixed in their present roles, how they were first and are now used, their impact on nonspecialists, how their use will affect the future content of the subject of computability theory, and its connection to other related areas. After a careful historical and conceptual analysis of computability and recursion we make several recommendations in section §7 about preserving the intensional differences between the concepts of “computability” and “recursion.” Specifically we recommend that: the term “recursive ” should no longer carry the additional meaning of “computable” or “decidable;” functions defined using Turing machines, register machines, or their variants should be called “computable” rather than “recursive;” we should distinguish the intensional difference between Church’s Thesis and Turing’s Thesis, and use the latter particularly in dealing with mechanistic questions; the name of the subject should be “Computability Theory” or simply Computability rather than
Relative To Any Nonrecursive Set
 Proc. Amer. Math. Soc
, 1996
"... . There is a countable first order structure M such that for any set of integers X, X is not recursive if and only if there is a presentation of M which is recursive in X. 1. Introduction It is a wellknown truth that if a set R ` ! is recursive relative to every nonrecursive subset of !, then R is ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
(Show Context)
. There is a countable first order structure M such that for any set of integers X, X is not recursive if and only if there is a presentation of M which is recursive in X. 1. Introduction It is a wellknown truth that if a set R ` ! is recursive relative to every nonrecursive subset of !, then R is recursive (see [Kleene and Post, 1954]). Similarly, if R is recursive in every element of a comeager set, then R is recursive; if R is recursive in every element of a set of positive measure, then R is recursive; and if R is recursive in every element of a nonempty \Pi 0 1 set P , then R is recursive in the real appearing in the definition of P . In fact, one can consider a wide variety of notions of forcing P, and conclude that if R is recursive in every generic set (extending the condition p), then R is recursive in P (and p). Thus, in wide generality, there is no R ` ! which constitutes information common to all nonrecursive reals or to all generic reals. Even so, one need not abando...
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
(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
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
, 2009
"... ..."
Noncomputable Spectral Sets
, 2007
"... iii For my Mama, whose *minimal index is computable (because it’s finite). ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
iii For my Mama, whose *minimal index is computable (because it’s finite).
EMBEDDING JUMP UPPER SEMILATTICES INTO THE TURING DEGREES
"... We prove that every countable jump upper semilattice can be embedded in D, where a jump upper semilattice (jusl) is an upper semilattice endowed with a strictly increasing and monotone unary operator that we call jump, and D is the jusl of Turing degrees. As a corollary we get that the existential ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
We prove that every countable jump upper semilattice can be embedded in D, where a jump upper semilattice (jusl) is an upper semilattice endowed with a strictly increasing and monotone unary operator that we call jump, and D is the jusl of Turing degrees. As a corollary we get that the existential theory of 〈D, ≤T, ∨, ′ 〉 is decidable. We also prove that this result is not true about jusls with 0, by proving that not every quantifier free 1type of jusl with 0 is realized in D. On the other hand, we show that every quantifier free 1type of jump partial ordering (jpo) with 0 is realized in D. Moreover, we show that if every quantifier free type, p(x1,..., xn), of jpo with 0, which contains the formula x1 ≤ 0 (m) &... & xn ≤ 0 (m) for some m, is realized in D, then every every quantifier free type of jpo with 0 is realized in D. We also study the question of whether every jusl with the c.p.p. and size κ ≤ 2 ℵ0 is embeddable in D. We show that for κ = 2 ℵ0 the answer is no, and that for κ = ℵ1 it is independent of ZFC. (It is true if MA(κ) holds.)
Generalized high degrees have the complementation property
 Journal of Symbolic Logic
"... Abstract. We show that if d ∈ GH1 then D( ≤ d) has the complementation property, i.e. for all a < d there is some b < d such that a ∧ b = 0 and a ∨ b = d. §1. Introduction. A major theme in the investigation of the structure of the Turing degrees, (D, ≤T), has been the relationship between the ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We show that if d ∈ GH1 then D( ≤ d) has the complementation property, i.e. for all a < d there is some b < d such that a ∧ b = 0 and a ∨ b = d. §1. Introduction. A major theme in the investigation of the structure of the Turing degrees, (D, ≤T), has been the relationship between the order theoretic properties of a degree and its complexity of definition in arithmetic as expressed by the Turing jump operator which embodies a single step in the hierarchy of quantification. For example, there is a long history of results showing that 0 ′
The history and concept of computability
 in Handbook of Computability Theory
, 1999
"... We consider the informal concept of a “computable ” or “effectively calculable” function on natural numbers and two of the formalisms used to define it, computability” and “(general) recursiveness. ” We consider their origin, exact technical definition, concepts, history, how they became fixed in th ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
We consider the informal concept of a “computable ” or “effectively calculable” function on natural numbers and two of the formalisms used to define it, computability” and “(general) recursiveness. ” We consider their origin, exact technical definition, concepts, history, how they became fixed in their present roles, and how