Referenced by:

• diagrams
• elementary-equivalent
• logic-types
• substructure
• tarski-vaught-test
• union-of-model-chain
• upward-lowenheim-skolem-thm