Referenced by:

• com-computably-enumerable
• com-pa-undecidable
• ucb-metamathematics-b-02
• ucb-settheory-09