Distinct representative of the halting many-one degree

If

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

.

 Ancestors (9)

 Incoming links (1)

Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 1 / 4F / Solution

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version