Institution-independent Model Theory
Author:   Razvan Diaconescu
Publisher:   Birkhauser Verlag AG
Edition:   2008 ed.
ISBN:  

9783764387075


Pages:   376
Publication Date:   16 May 2008
Replaced By:   9783031688539
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $287.76 Quantity:  
Add to Cart

Share |

Institution-independent Model Theory


Add your own review!

Overview

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.

Full Product Details

Author:   Razvan Diaconescu
Publisher:   Birkhauser Verlag AG
Imprint:   Birkhauser Verlag AG
Edition:   2008 ed.
Dimensions:   Width: 17.00cm , Height: 2.00cm , Length: 24.00cm
Weight:   0.675kg
ISBN:  

9783764387075


ISBN 10:   3764387076
Pages:   376
Publication Date:   16 May 2008
Audience:   College/higher education ,  Postgraduate, Research & Scholarly
Replaced By:   9783031688539
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Categories.- Institutions.- Theories and Models.- Internal Logic.- Model Ultraproducts.- Saturated Models.- Preservation and Axiomatizability.- Interpolation.- Definability.- Possible Worlds.- Grothendieck Institutions.- Institutions with Proofs.- Specification.- Logic Programming.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now