Recursive set


THEOREM    The complement of a recursive set is recursive.

Proof unavailable