Referenced by:

• adt-differentiation
• busy-beaver
• cats-natural-transformation
• cats-representable
• cauchys-functional-equation
• com-encoding
• covert-operationality
• delta-types
• distributive-laws-conceptualization
• equivalence
• extrusive-posets
• groups-alternating-group
• groups-cayleys-thm
• ucb-metamathematics-b-05
• ucb-metamathematics-b-06
• 01
• lang
• logic-types
• logic-ultraproduct
• math-what-wasnt-taught
• minesweeper-math
• proofs-and-refutations
• skolems-paradox
• quantifier-elimination
• sets-ordinal
• sets-partition
• sets-well-ordering
• symmetric-group
• syntheses
• thoughts-on-model-theory
• ultrafilter
• uniformity
• why-is-inheritance-bad