Faizrahmanov M.
(2010)
If ν and μ are some Δcomputable numberings of families of sets of the naturals then P(x,y) ⇔ ν(x)′ ≠ μ(y) is a Σpredicate. Deriving corollaries from this result, we obtain a sufficient condition for existence of a Δcomputable ...