Sariev, A., and H. Ganchev. “Definability Issues in the ω-Turing Degrees”. Ann. Sofia Univ. Fac. Math. And Inf., vol. 105, Dec. 2018, pp. 45-54, doi:10.60063/gsu.fmi.105.45-54.