Abstract:
The main result of this paper is Theorem 2, which is a generalization of Makkai [8]. The proof of our results used the notion
of ultraproducts and some cases of generalized products of Feferman and Vaught [9]. From the other results the most interesting one
is a generalization of completeness theorem.