Definability in the local structure of the ω-Turing degrees

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}$ .