The method of ultraproducts represents a true powerhouse of model theory as it has significant applications in almost all branches of mathematics. For instance, it is the best method to establish semantic compactness, compactness being one of the central themes in logic. Some voices even consider the study of semantic compactness as the main purpose of model theory.