Referenced by:

• com-computable
• com-computably-enumerable
• com-index
• com-minimal-index
• ucb-metamathematics-b-06
• lang
• logic-propositional-logic
• math-what-wasnt-taught
• nonmeasurable-sets
• sp24-uniformity
• topology-via-grazing