再帰的分離不能対
recursively inseparable sets,
帰納的分離不能対
,
計算的分離不能対
, computably inseparable sets
#計算可能性理論
定義
非交叉
な
$ A, B \subseteq \N
であって以下のような
$ C \subseteq \N
が存在しないとき,
$ (A, B)
を
再帰的分離不能対
という
$ C
は
再帰的集合
$ A \subseteq C \subseteq B^c