H. Ganchev and A. C. Sariev, “DEFINABILITY OF JUMP CLASSES IN THE LOCAL THEORY OF THE $\omega$-ENUMERATION DEGREES”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 102, pp. 207–224, Dec. 2015.