5
Compactness Fails
•There exists an infinite set of formulas G s.t. for every finite subset G0 ½ G, G0 has a finite model, but G does not have a finite model
•
•[why ?]