Linked from

The 2 pages that link to Post's theorem, each with the reason it gives.

• Computable setRelated: It characterizes computable sets as those that are both recursively enumerable and co-recursively enumerable.

• Computably enumerable setRelated: It places enumerable sets within a broader hierarchy of definability and decision power.