“Definability issues in the ω-Turing degrees” (2018) Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 105, pp. 45–54. doi:10.60063/gsu.fmi.105.45-54.