• Contact

  • Newsletter

  • About us

  • Delivery options

  • News

  • 0
    Institution-independent Model Theory

    Institution-independent Model Theory by Diaconescu, Răzvan;

    Series: Studies in Universal Logic;

      • GET 8% OFF

      • The discount is only available for 'Alert of Favourite Topics' newsletter recipients.
      • Publisher's listprice EUR 149.79
      • The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.

        63 540 Ft (60 515 Ft + 5% VAT)
      • Discount 8% (cc. 5 083 Ft off)
      • Discounted price 58 457 Ft (55 674 Ft + 5% VAT)

    63 540 Ft

    db

    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.

    Why don't you give exact delivery time?

    Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.

    Product details:

    • Edition number Second Edition 2025
    • Publisher Birkhäuser
    • Date of Publication 6 March 2025
    • Number of Volumes 1 pieces, Book

    • ISBN 9783031688539
    • Binding Hardback
    • No. of pages568 pages
    • Size 235x155 mm
    • Language English
    • Illustrations 2 Illustrations, color
    • 693

    Categories

    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.

    More

    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.

    More

    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.

    More