Saturated models in institutions

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

Authors

Razvan Diaconescu

This author has not been identified. Look up 'Razvan Diaconescu' in Google

Marius Petria

This author has not been identified. Look up 'Marius Petria' in Google