Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661818 | Annals of Pure and Applied Logic | 2014 | 9 Pages |
Abstract
We study the degrees of bi-hyperhyperimmune (bi-hhi) sets. Our main result characterizes these degrees as those that compute a function that is not dominated by any Δ20 function, and equivalently, those that compute a weak 2-generic. These characterizations imply that the collection of bi-hhi Turing degrees is closed upwards.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Uri Andrews, Peter Gerdes, Joseph S. Miller,