Description

Book Synopsis

- 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.

Institutionindependent Model Theory

    Product form

    £151.99

    Includes FREE delivery

    RRP £159.99 – you save £8.00 (5%)

    Order before 4pm today for delivery by Wed 17 Jun 2026.

    A Hardback by Razvan Diaconescu

    Out of stock


      View other formats and editions of Institutionindependent Model Theory by Razvan Diaconescu

      Publisher: Birkhäuser
      Publication Date: 04/03/2025
      ISBN13: 9783031688539, 978-3031688539
      ISBN10:
      Also in:
      Mathematics Mathematical logic

      Description

      Book Synopsis

      - 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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account