Definability in the local structure of the ω-Turing degrees

摘要

This article continues the study of the definability in the local substructure G(T,omega) of the omega-Turing degrees, initiated in (Sariev and Ganchev 2014). We show that the class I of the intermediate degrees is definable in G(T,omega).