Referenced by:

• 91054561010556502534r
• algebra-structure
• algebra-unital
• cats-adjunction
• cats-free-group-functor
• cats-functor
• cats-homomorphism
• cats-monic-epic
• cats-natural-transformation
• closures-and-completions
• compactness-via-ultrafilters
• delta-types
• diagrams
• elementary-class
• elementary-equivalent
• extrusive-posets
• first-order-logic
• group-direct-product
• ucb-catthy-05
• ucb-metamathematics-b-01
• homomorphism
• lang
• lecture-on-hask
• logic-ahrenfeucht-fraisse-game
• logic-category-of-models
• logic-compactness
• logic-definable
• logic-downwards-lowenheim-skolem-thm
• logic-elementary-substructure
• logic-formula
• logic-terms
• logic-theory
• logic-ultraproduct
• logic-universal-axiomatization
• logic-universal-formula
• monoid-isomorphism
• monoids-n-ways
• multiplicative-groups-of-integers
• natural-transformations-in-set
• seven-sketches
• orbit-group
• parametricity
• rado-graph
• satisfies
• sp24-uniformity
• substructure
• syntheses
• tarski-vaught-test
• thoughts-on-model-theory
• topology-via-grazing
• uniformity
• union-of-model-chain
• upward-lowenheim-skolem-thm