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