Referenced by:

• cats-equivalent
• closed-under
• com-arithmetic-hierarchy
• com-pa-undecidable
• compactness-via-ultrafilters
• cycle-decomposition
• decidable
• delta-types
• extrusive-posets
• haskell-definedness
• ucb-metamathematics-b-06
• 12
• vague-notes
• lang
• le-misc-notes
• le-rx-mIBiiztKGr
• le-rx-qYCk3zY1hQ
• logic-naught-test
• logic-prime-atomic
• logic-types-topology
• minesweeper-math
• quantifier-elimination