Referenced by:

• arcane-equality
• compactness-via-ultrafilters
• ucb-metamathematics-b-03
• ucb-metamathematics-b-04
• logic-naught-test
• logic-types-topology
• logic-types
• logic-universal-axiomatization
• order-top-with-lub
• paracompact
• quantifier-elimination
• topology-continuity
• topology-limit-point-compact
• topology-locally-compact-hausdorff-iff-homeomorphic-with-open-subspace-of-compact-hausdorff
• upward-lowenheim-skolem-thm