Sariev, A. and Ganchev, H. (2018) “Definability issues in the ω-Turing degrees”, Ann. Sofia Univ. Fac. Math. and Inf, 105, pp. 45–54. doi: 10.60063/gsu.fmi.105.45-54.