Definability Issues in the ω-Turing Degrees. Ann. Sofia Univ. Fac. Math. and Inf. 2018, 105, 45-54. https://doi.org/10.60063/gsu.fmi.105.45-54.