A. Sariev and H. Ganchev, “Definability issues in the ω-Turing degrees”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 105, pp. 45–54, Dec. 2018.