Realizing Computably Enumerable Degrees in Separating Classes

Peter Cholak, Rod Downey, Noam Greenberg +1

We investigate what collections of c.e.\ Turing degrees can be realised as the collection of elements of a separating ${\Pi }_1^0$ class of c.e.\ degree. We show that for every c.e.\ de…