Referenced by:

• abstraction-group
• cats-natural-transformation
• com-computable
• ucb-metamathematics-b-04
• idempotents-and-projections
• logic-compactness
• seven-sketches
• partial-ordering
• quantifier-elimination
• sets-cardinal
• sets-well-ordering
• syntheses
• topology-net