Dickman, 1985, Large infinitary languages
Ebbinghaus, 1985, Extended logics, the general framework
Feferman, 1959, The first order properties of products of algebraic systems, Fund. Math., XLVII, 57, 10.4064/fm-47-1-57-103
Gillman, 1960
Makowsky, 1985, Compactness, embeddings and definability
Mundici, 1986, Inverse topological systems and compactness in abstract model theory, J. Symbolic Logic, 51, 785, 10.2307/2274032
Noble, 1971, Products with closed projections II, Trans. Amer. Math. Soc., 160, 169, 10.1090/S0002-9947-1971-0283749-X
Przymusińsky, 1984, Products of normal spaces, 781
Väänänen, 1977, On the compactness theorem, Proceedings of the Symposium on Mathematical Logic, 62
Willard, 1970