Distinct representative of the halting many-one degree
= Distinct representative of the halting many-one degree
If $0\notin K$, then
$$
S=\{0\}\cup\{2n+1:n\in K\}
$$
differs from $K$, while the computable map $n\mapsto2n+1$ proves $K\leq_mS$.
= Distinct representative of the halting many-one degree
If $0\notin K$, then
$$
S=\{0\}\cup\{2n+1:n\in K\}
$$
differs from $K$, while the computable map $n\mapsto2n+1$ proves $K\leq_mS$.