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