The generic degrees of density-1 sets, and a characterization of the hyperarithmetic reals (Q2795919)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The generic degrees of density-1 sets, and a characterization of the hyperarithmetic reals |
scientific article; zbMATH DE number 6559652
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The generic degrees of density-1 sets, and a characterization of the hyperarithmetic reals |
scientific article; zbMATH DE number 6559652 |
Statements
22 March 2016
0 references
degree
0 references
hyperarithmetic
0 references
The generic degrees of density-1 sets, and a characterization of the hyperarithmetic reals (English)
0 references
The paper is devoted to the study of generic computations -- the motivation for the latter is derived from complexity theory. It is shown that generic reduction is \(\Pi_{1}^{1}\)-complete. Therefore the author works with the generic degrees of density-1 reals. It is demonstrated how an understanding of these degrees leads to a greater understanding of the overall structure of the generic degrees. The density-1 sets are used to provide a new characterization of the hyperarithmetical Turing degrees.
0 references
