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