Institution-independent model theory
Diaconescu, Razvan
Institution-independent model theory Razvan Diaconescu - Basel Boston Birkhèauser c2008 - xi, 376 p ill 24 cm - Studies in universal logic .
Contine bibliografie
Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Specification -- Logic programming
3764387076 9783764387075
2008924875
Model theory
Logic, Symbolic and mathematical
511.3/4
Institution-independent model theory Razvan Diaconescu - Basel Boston Birkhèauser c2008 - xi, 376 p ill 24 cm - Studies in universal logic .
Contine bibliografie
Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Specification -- Logic programming
3764387076 9783764387075
2008924875
Model theory
Logic, Symbolic and mathematical
511.3/4