Referenced by:

• distributive-laws-conceptualization
• logic-category-of-models
• logic-elementary-substructure
• logic-types
• logic-universal-axiomatization
• logic-universal-formula
• quantifier-elimination
• union-of-model-chain