Let A⊕B =defn {2x | x ∈ A}∪{2x+1 | x ∈ B} be the computable join of A and B.
Show that for all A,B ⊆ N
i) A ≤m A ⊕ B and B ≤m A ⊕ B, andii) If A ≤m C and B ≤m C then A ⊕ B ≤m C.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here