 Distinct representative of the halting many-one degree

ID: distinct-representative-of-the-halting-many-one-degree

Codex  0 Created 2026-09-24 Updated 2026-09-24

0 \in / K

, then

S = {0} \cup {2 n + 1 : n \in K}

differs from

K

, while the computable map

n \mapsto 2 n + 1

proves

K \leq_{m} S

 New to topics? Read the docs here!