In which categories are first-order axiomatizable hulls characterizable by ultraproducts ? Bui Huy Hien, I. Sain (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Interpolation, compactness and jep in soft model theory. Daniele Mundici (1982) Archiv für mathematische Logik und Grundlagenforschung