| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661754 | Annals of Pure and Applied Logic | 2014 | 21 Pages |
Abstract
In this paper we initiate the study of the Ï-Turing reducibility between sequences of sets of natural numbers. We shall prove that the induced degree structure is an extension of the structure of the Turing degrees and that the two structures are closely connected, but different enough. Further we shall prove some definability results for the local theory of the newly defined structure.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Andrey C. Sariev, Hristo Ganchev,