16
Compactness Theorem
•Theorem If for any finite G0 µ G, G0 is satisfiable, then G is satisfiable
•
•Proof:  [in class]