Institution-independent Model Theory - Diaconescu, Răzvan; - Prospero Internet Bookshop

Institution-independent Model Theory
 
Product details:

ISBN13:9783031688539
ISBN10:3031688538
Binding:Hardback
No. of pages:568 pages
Size:235x155 mm
Language:English
Illustrations: 2 Illustrations, color
0
Category:

Institution-independent Model Theory

 
Edition number: Second Edition 2025
Publisher: Birkhäuser
Date of Publication:
Number of Volumes: 1 pieces, Book
 
Normal price:

Publisher's listprice:
EUR 192.59
Estimated price in HUF:
81 696 HUF (77 806 HUF + 5% VAT)
Why estimated?
 
Your price:

75 161 (71 582 HUF + 5% VAT )
discount is: 8% (approx 6 536 HUF off)
The discount is only available for 'Alert of Favourite Topics' newsletter recipients.
Click here to subscribe.
 
Availability:

Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Can't you provide more accurate information?
 
  Piece(s)

 
Short description:

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 general 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 axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories.



This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added.

Long description:

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 general 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 axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories.



This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added.

Table of Contents:

- Introduction.- Part I Basics.- Categories.- Institutions.- Theories and Models.- Internal Logic.- Part II Advanced Topics.- Model Ultraproducts.- Saturated Models.- Preservation and Axiomatizability.- Interpolation.- Definability.- Part III Extensions.- Institutions with Proofs.- Models with States.- Many-valued Truth Institutions.- Part IV Applications to Computing.- Grothendieck Institutions.- Specification.- Logic Programming.