Sariev, Andrey, and Hristo Ganchev. 2018. “Definability Issues in the ω-Turing Degrees”. Ann. Sofia Univ. Fac. Math. And Inf. 105 (December):45-54. https://doi.org/10.60063/gsu.fmi.105.45-54.