Overview
- Presents a novel approach to model theory beyond any commitement 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 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
- Includes supplementary material: sn.pub/extras
Part of the book series: Studies in Universal Logic (SUL)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (15 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Institution-independent Model Theory
Authors: Răzvan Diaconescu
Series Title: Studies in Universal Logic
DOI: https://doi.org/10.1007/978-3-7643-8708-2
Publisher: Birkhäuser Basel
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Birkhäuser Basel 2008
Softcover ISBN: 978-3-7643-8707-5Published: 16 May 2008
eBook ISBN: 978-3-7643-8708-2Published: 01 August 2008
Series ISSN: 2297-0282
Series E-ISSN: 2297-0290
Edition Number: 1
Number of Pages: XI, 376
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logic