Referenced by:

• 03488909920381267698r
• 47366779347182530983r
• busy-beaver
• com-computable
• com-halting-set
• com-index
• com-minimal-index
• com-padding-lemma
• com-rices-thm
• com-universal-tm
• distributive-laws-conceptualization
• ucb-metamathematics-b-01
• ucb-metamathematics-b-02