Referenced by:

• 2023-03-17-diagrammatic-proofs
• cats-equivalent
• cats-skeleton
• com-reducibility
• extrusive-posets
• ucb-metamathematics-b-01
• ucb-metamathematics-b-02
• ucb-metamathematics-b-03
• ucb-metamathematics-b-05
• logic-ahrenfeucht-fraisse-game
• logic-category-of-models
• logic-compactness
• monoid-isomorphism
• is-a-line-really-composed-of-points
• sets-zfc
• sp24-uniformity
• syntheses
• uniformity