Infinite v.s. Finite
•Everything can be defined “in the finite”
• f has a finite model
•
• f is valid in the
finite if for every finite A, A ˛ f; notation ˛fin f
•
• f is a consequence in
the finite of G if for every finite A, A ˛ G implies A ˛ f; notation G ˛fin f