Semirecursive sets and positive reducibility 论文
1968Transactions of the American Mathematical Society引用 251
Computability, Logic, AI AlgorithmsAdvanced Topology and Set TheoryNumerical Methods and Algorithms
摘要
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.