Referenced by:

• 18742058673092520958r
• 91054561010556502534r
• abstraction-group
• arcane-equality
• cats-equivalent
• cats-initial-terminal
• cats-skeleton
• cats-slice-category
• closures-and-completions
• com-computably-enumerable
• com-encoding
• com-kleenes-recursion-thm
• com-recursive
• com-reducibility
• com-turing-machine
• delta-types
• directed-set
• distributive-laws-conceptualization
• extrusive-posets
• group-subjects
• haskell-definedness
• ucb-catthy-02
• ucb-metamathematics-b-01
• ucb-metamathematics-b-02
• ucb-metamathematics-b-03
• ucb-metamathematics-b-05
• 02
• 12
• vague-notes
• lang
• lecture-on-hask
• lexi-embedding
• le-misc-notes
• logic-elementary-substructure
• logic-prime-atomic
• logic-types-topology
• minesweeper-math
• nonmeasurable-sets
• ordering-relation
• orders-as-graphs
• parametricity
• partial-ordering
• preorder
• preorders-as-subsets
• sets-well-ordering
• uniformity
• why-is-inheritance-bad