No CrossRef data available.
Article contents
Definability in the local structure of the ω-Turing degrees
Published online by Cambridge University Press: 21 February 2019
Abstract
This article continues the study of the definability in the local substructure $\mathcal{G}_{T,\omega}$ of the ω-Turing degrees, initiated in (Sariev and Ganchev 2014). We show that the class I of the intermediate degrees is definable in $\mathcal{G}_{T,\omega}$.
- Type
- Paper
- Information
- Copyright
- © Cambridge University Press 2019