20
The Theory T
•Let qk be the conjunction of all extension axioms for types with up to k variables
•
•There exists a finite model for qk  [why ?]
•
•Hence any finite subset of T has a model
•
•Hence T has a model.  [can it be finite ?]