Sariev, A.; Ganchev, H. Definability Issues in the ω-Turing Degrees. Ann. Sofia Univ. Fac. Math. and Inf. 2018, 105, 45-54.