Referenced by:

• cats-functor
• cats-initial-terminal
• com-computably-enumerable
• com-halting-set
• com-kleenes-recursion-thm
• com-minimal-index
• com-padding-lemma
• com-reducibility
• com-rogers-fixpoint-thm
• com-s-m-n-thm
• com-universal-tm
• delta-types
• ucb-catthy-06
• ucb-metamathematics-b-02
• ucb-metamathematics-b-03
• ucb-metamathematics-b-05
• 12
• le-misc-notes
• logic-ahrenfeucht-fraisse-game
• logic-ultraproduct
• negative-indices-are-wrong
• quantifier-elimination
• sp24-uniformity
• topology-net
• topology-open-coverings-of-paracompact-spaces
• topology-uniform-metric
• union-of-model-chain