Definability issues in the ω-Turing degrees. Ann. Sofia Univ. Fac. Math. and Inf. 2018;105:45-54. doi:10.60063/gsu.fmi.105.45-54