Semirecursive sets and positive reducibility

Abstract

If A is a set, A is N-A, where Ais the set of all natural numbers. A is said to be coimmune if A is immune, and similarly for other properties of sets.