18,508 research outputs found
-Generic Computability, Turing Reducibility and Asymptotic Density
Generic computability has been studied in group theory and we now study it in
the context of classical computability theory. A set A of natural numbers is
generically computable if there is a partial computable function f whose domain
has density 1 and which agrees with the characteristic function of A on its
domain. A set A is coarsely computable if there is a computable set C such that
the symmetric difference of A and C has density 0. We prove that there is a
c.e. set which is generically computable but not coarsely computable and vice
versa. We show that every nonzero Turing degree contains a set which is not
coarsely computable. We prove that there is a c.e. set of density 1 which has
no computable subset of density 1. As a corollary, there is a generically
computable set A such that no generic algorithm for A has computable domain. We
define a general notion of generic reducibility in the spirt of Turing
reducibility and show that there is a natural order-preserving embedding of the
Turing degrees into the generic degrees which is not surjective
Closed Choice and a Uniform Low Basis Theorem
We study closed choice principles for different spaces. Given information
about what does not constitute a solution, closed choice determines a solution.
We show that with closed choice one can characterize several models of
hypercomputation in a uniform framework using Weihrauch reducibility. The
classes of functions which are reducible to closed choice of the singleton
space, of the natural numbers, of Cantor space and of Baire space correspond to
the class of computable functions, of functions computable with finitely many
mind changes, of weakly computable functions and of effectively Borel
measurable functions, respectively. We also prove that all these classes
correspond to classes of non-deterministically computable functions with the
respective spaces as advice spaces. Moreover, we prove that closed choice on
Euclidean space can be considered as "locally compact choice" and it is
obtained as product of closed choice on the natural numbers and on Cantor
space. We also prove a Quotient Theorem for compact choice which shows that
single-valued functions can be "divided" by compact choice in a certain sense.
Another result is the Independent Choice Theorem, which provides a uniform
proof that many choice principles are closed under composition. Finally, we
also study the related class of low computable functions, which contains the
class of weakly computable functions as well as the class of functions
computable with finitely many mind changes. As one main result we prove a
uniform version of the Low Basis Theorem that states that closed choice on
Cantor space (and the Euclidean space) is low computable. We close with some
related observations on the Turing jump operation and its initial topology
Arithmetic complexity via effective names for random sequences
We investigate enumerability properties for classes of sets which permit
recursive, lexicographically increasing approximations, or left-r.e. sets. In
addition to pinpointing the complexity of left-r.e. Martin-L\"{o}f, computably,
Schnorr, and Kurtz random sets, weakly 1-generics and their complementary
classes, we find that there exist characterizations of the third and fourth
levels of the arithmetic hierarchy purely in terms of these notions.
More generally, there exists an equivalence between arithmetic complexity and
existence of numberings for classes of left-r.e. sets with shift-persistent
elements. While some classes (such as Martin-L\"{o}f randoms and Kurtz
non-randoms) have left-r.e. numberings, there is no canonical, or acceptable,
left-r.e. numbering for any class of left-r.e. randoms.
Finally, we note some fundamental differences between left-r.e. numberings
for sets and reals
A bounded jump for the bounded Turing degrees
We define the bounded jump of A by A^b = {x | Exists i <= x [phi_i (x)
converges and Phi_x^[A|phi_i(x)](x) converges} and let A^[nb] denote the n-th
bounded jump. We demonstrate several properties of the bounded jump, including
that it is strictly increasing and order preserving on the bounded Turing (bT)
degrees (also known as the weak truth-table degrees). We show that the bounded
jump is related to the Ershov hierarchy. Indeed, for n > 1 we have X <=_[bT]
0^[nb] iff X is omega^n-c.e. iff X <=_1 0^[nb], extending the classical result
that X <=_[bT] 0' iff X is omega-c.e. Finally, we prove that the analogue of
Shoenfield inversion holds for the bounded jump on the bounded Turing degrees.
That is, for every X such that 0^b <=_[bT] X <=_[bT] 0^[2b], there is a Y
<=_[bT] 0^b such that Y^b =_[bT] X.Comment: 22 pages. Minor changes for publicatio
- …