Institution-independent model theory

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 pr...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Diaconescu, Răzvan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Basel, Berlin u.a. Birkhäuser 2008
Schriftenreihe:	Studies in universal logic
Schlagworte:	Model theory > Logic, Symbolic and mathematical > Modelltheorie
Online Zugang:	Cover Einführung/Vorwort Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!