Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Generic Degrees of Density-1 Sets, and Characterization of the
  Hyperarithmetic Reals   A generic computation of a subset $A$ of $\mathbb{N}$ is a computation which
correctly computes most of the bits of $A$, but which potentially does not halt
on all inputs. The motivation for this concept is derived from complexity
theory, where it has been noticed that frequently, it is more important to know
how difficult a type of problem is in the general case than how difficult it is
in the worst case. When we study this concept from a recursion theoretic point
of view, to create a transitive relationship, we are forced to consider oracles
that sometimes fail to give answers when asked questions. Unfortunately, this
makes working in the generic degrees quite difficult. Indeed, we show that
generic reduction is $\mathbf\Pi^1_1-$complete. To help avoid this difficulty,
we work with the generic degrees of density-1 reals. We demonstrate how an
understanding of these degrees leads to a greater understanding of the overall
structure of the generic degrees, and we also use these density-1 sets to
provide a new a characterization of the hyperartithmetical Turing degrees.

27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
12
The categories of this paper are: nucl-th
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin