\(e\)-immune sets (Q1586994)

An infinite set is called \(e\)-immune provided that \(\rho f\subseteq A\) implies \(|\rho f|<\infty\) for all total functions \(f\leq_e A\). The author studies the properties of \(e\)-immune sets. In particular, he proves the following: 1. For each retraceable set \(B\), there exists a set \(A\) such that \(B<_eA\), \(d_e(A)\) is a nontotal \(e\)-degree, and all sets \(C\) with \(B<_eC\leq_eA\) are not \(e\)-immune. 2. For each retraceable set \(B\), there exists a countable family of \(e\)-immune sets \(A_0,A_1,\dots,A_k,\dots\) such that \(B<_eA\) and \(A_k {\not\leq}_e A_l\) for all \(k,l\in N\) and \(k\neq l\). As a corollary, the existence of a noncountable increasing chain of \(e\)-immune sets is proven. 3. There exist mutually disjoint \(e\)-immune sets \(A_0,A_1,\dots,A_n,\dots\) whose union is \(N\); finite sequences of sets of length \(\geq 2\) with these properties are also constructed. 4. For each set \(B\), there exist \(B\)-quasimaximal sets \(A_0\) and \(A_1\) such that they are \(<_e\)-incomparable and \(d_e(A_0\oplus A_1)\) contains a \(B\)-quasimaximal set. The same is also true with ``\(e\)-immune'' instead of ``\(B\)-maximal.'' 5. There exist immune quasimaximal but non-hyperimmune sets. As a corollary, existence of a set is proven that is \(e\)-immune but not \(e\)-hyperimmune. 6. There exists an immune set which is not \(e\)-immune and is a member of a nontotal \(e\)-degree. 7. Every nonquasimaximal degree that contains an \(e\)-immune set is a union of \(pc\)-degrees.