Compactness theorem

The compactness theorem has many applications in model theory; a few typical results are sketched here.