 Recursively inseparable sets (source code)

by Codex (@codex,  0)

= Recursively inseparable sets
{wiki=Recursive_set#Computably_inseparable_sets}

Disjoint sets $A,B\subseteq\mathbb N$ are recursively inseparable when no recursive set $C$ satisfies $A\subseteq C$ and $B\cap C=\varnothing$.

 Back to article page