- Presents a novel approach to model theory beyond any commitment to concrete particular logics
- Develops a new top-down methodology for doing model theory leading to important theoretical consequences
- Within the rather large institution theory literature this is the first book dedicated to model theory
- Gathers together in a unitary way important works in the area published through various journals or even yet unpublished
Buy this book
- About this book
-
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
- Table of contents (15 chapters)
-
-
Introduction
Pages 1-6
-
Categories
Pages 7-21
-
Institutions
Pages 23-47
-
Theories and Models
Pages 49-89
-
Internal Logic
Pages 91-119
-
Table of contents (15 chapters)
- Download Preface 1 PDF (93.8 KB)
- Download Table of contents PDF (70.2 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Institution-independent Model Theory
- Authors
-
- Razvan Diaconescu
- Series Title
- Studies in Universal Logic
- Copyright
- 2008
- Publisher
- Birkhäuser Basel
- Copyright Holder
- Birkhäuser Basel
- eBook ISBN
- 978-3-7643-8708-2
- DOI
- 10.1007/978-3-7643-8708-2
- Softcover ISBN
- 978-3-7643-8707-5
- Series ISSN
- 2297-0282
- Edition Number
- 1
- Number of Pages
- XI, 376
- Topics
