Institution-independent Model Theory - presented by Răzvan Diaconescu

Institution-independent Model Theory

Răzvan Diaconescu

RD
Mathematics & Statistics Seminars
Host
Research Communities by Springer Nature
DateWednesday, March 12, 2025 3:00 PM to 4:00 PM (UTC)
Live eventThe live event will be accessible via this page.
Research Communities by Springer Nature

Associated Studies in Universal Logic article

R. Diaconescu (2025) Institution-independent Model Theory. Studies in Universal Logic
Article of record
Institution-independent Model Theory
RD
Răzvan Diaconescu
Romanian Academy

Presenting the 2nd edition of the book "Institution-independent Model Theory". 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.

References
  • 1.
    R. Diaconescu (2025) Institution-independent Model Theory. Studies in Universal Logic
Date & time
Mar
12
2025
Wednesday, March 12, 2025 3:00 PM to 4:00 PM (UTC)
Details
Listed seminar This seminar is open to all
Recorded Available to all
Q&A Open on this page for 1 day after the seminar
Disclaimer The views expressed in this seminar are those of the speaker and not necessarily those of the journal