18
Application
•
Suppose
G
has “arbitrarily large finite
models”
–
This means that
8
n, there exists a finite model
A with |A|
¸
n s.t. A
˛
G
–
•
Then show that
G
has an infinite model A
[in class]