Saturated models in institutions

by Răzvan Diaconescu , Marius Petria
Venue:ARCHIVES FOR MATHEMATICAL LOGIC

Document Versions

Saturated models in institutions –Răzvan Diaconescu , Marius Petria — ARCHIVES FOR MATHEMATICAL LOGIC