“Definability issues in the ω-Turing degrees”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 105, pp. 45–54, Dec. 2018, doi: 10.60063/gsu.fmi.105.45-54.