Degrees of nonrecursive presentability
Lawrence Feiner · Proceedings of the American Mathematical Society · 1973
We prove that every 0 ′ 0’ ’-recursive binary relation of natural numbers is isomorphic to a recursive relation restricted to a co-r.e. subset of its domain. We use this result to define and discuss “degrees of nonrecursive presentability."