“Definability Issues in the ω-Turing Degrees”. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, vol. 105, Dec. 2018, pp. 45-54, https://doi.org/10.60063/gsu.fmi.105.45-54.