Institution-independent Model Theory
by Burgin, Mark, Béziau, Jean-Yves, Diaconescu, Razvan, Diaconescu, Razvan, Andreka, Hajnal, Font, Josep Maria, Herzig, Andreas, Koslow, Arnold, Lee, Jui-Lin, Maksimova, Larissa, Malinowski, Grzegorz, Sarenac, Darko, Schröder-Heister, Peter, Vasyukov, Vladimir
fromStudies in universisal logic
0
Type: Book
Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Spec…