Saturated models in institutions

Razvan Diaconescu, Marius Petria. Saturated models in institutions. Arch. Math. Log., 49(6):693-723, 2010. [doi]

Abstract

Abstract is missing.