Institution-independent model theory
By: Răzvan Diaconescu.
Series: Studies in universal logic
Publisher: Birkhäuser
Published: 2008
Place of publication: Basel; Boston
Language: eng
Number of pages: 376
ISBN-13: 9783764387075
Subjects: Model theory; Logic, Symbolic and mathematical
Notes: Includes bibliographical references (p. [355]-367) and index.
Table of contents: title: Introduction; title: Categories; title: Institutions; title: Theories and models; title: Internal logic; title: Model ultrapoducts; title: Saturated models; title: Preservation and axiomatizability; title: Interpolation; title: Definability; title: Possible worlds; title: Grothendieck institutions; title: Institutions with proofs; title: Specification; title: Logic programming.