Institution-independent model theory

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

Gespeichert in:
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!
Beschreibung
Zusammenfassung: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.
Beschreibung:Literaturverz. S. 355 - 367
Beschreibung:XI, 376 S.
ill
24 cm
ISBN:9783764387075
978-3-7643-8707-5