Use to describe questions about the structure of the arithmetic degrees (subsets of N under the relation of relative arithmetic definability) as used in higher computability theory.
Relating to the structure on subsets of $\mathbb{N}$ under relative arithmetic definability. Used in computability theory, particularly higher computability theory.
|
created |
2 years, 7 months ago |
|
viewed |
5 times |
|
active |
2 years, 7 months ago |
|
editors |
1 |
