Referenced by:

• compactness-via-ultrafilters
• ucb-metamathematics-b-03
• logic-compactness
• logic-formula
• logic-implication
• logic-terms
• skolems-paradox
• quantifier-elimination
• sets-elemof-and-isom.z
• sets-zfc
• thoughts-on-model-theory