Finite model theory
= Finite model theory
Finite model theory studies logical definability and equivalence on finite <first-order structures>. Unlike unrestricted model theory, first-order compactness is unavailable when models are required to be finite. Locality, bounded-variable games and descriptive characterizations of <complexity classes> are central tools.