Referenced by:

• 2023-03-17-diagrammatic-proofs
• 35314159191589570696r
• 91054561010556502534r
• algebra-monoids-alt
• algebra-multiplicative-order
• algebra-ring
• algebra-unital
• automorphism-group
• cats-category-of-elements
• cats-functor
• cats-natural-transformation
• cats-skeleton
• com-computable
• com-computably-enumerable
• com-encoding
• cycle-decomposition
• cyclic-permutation
• delta-types
• directed-set
• distributive-laws-conceptualization
• equivalence
• extrusive-posets
• first-order-logic
• frobenius-map
• groups-additive-order
• groups-burnsides-lemma
• groups-cayleys-thm
• groups-dihedral-group
• groups-group
• groups-grp
• ucb-catthy-03
• ucb-catthy-04
• ucb-metamathematics-b-02
• ucb-metamathematics-b-05
• 02
• 03
• ucb-settheory-09
• lang
• linear-ordering
• logic-ahrenfeucht-fraisse-game
• logic-categorical
• logic-definable
• logic-formula
• logic-propositional-logic
• logic-terms
• logic-types
• magma
• minesweeper-math
• monoid-isomorphism
• monoid
• natural-transformations-in-set
• seven-sketches
• skolems-paradox
• order-topology
• ordering-relation
• orders-as-graphs
• partial-ordering
• permutation
• reality-as-the-terminal-object-in-the-category-of-logics
• sets-axiom-of-choice
• sets-ordinal
• sets-well-ordering
• sets-zfc
• symmetric-group
• thoughts-on-model-theory
• uniformity
• why-is-inheritance-bad
• with-respect-to