显示这种可解除的可解除责任$ C $

Question

我遇到了这个问题，说明给定的脱节集 $ a $ 和 $ b $ st $ \ bar {a} $ 和 $ \ bar {b} $ 都是可计算的令人享受（ce），存在一个可解除的set $ c $ st $ a \ subseteq c $ 和 $ c \ cap b=imptyset $ 。

我认为一种构造 $ c $ 的方法是显示 $ \ bar {a} - \ bar {b} $ 是ce，但是设置差异 $ \ bar {a} - \ bar {b} - \ bar {b} $ 对于此特定情况CE？

Answer 1

否，它不一定递归充值。有递归令人难以忍受但没有递归的语言。因此，它们的补充不归因于令人享受。从那时起，你应该能够证明你帖子最后句子中的问题的答案是否（我会让你从那里填写细节）。