Definability in the local structure of the ω-Turing degrees
Hristo Ganchev, Andrey C. Sariev · Mathematical Structures in Computer Science · 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}$ .