Elementary diagram in institutions 


We generalise the method of diagrams from conventional model theory to a simple institution-independent (i.e. independent of the details of the actual logic or institution) framework based on a novel categorical concept of elementary diagram of a model.
We illustrate the power of our institution-independent method of elementary diagrams by developing several applications to institution liberality, institution-independent quasi-varieties, and limits and colimits of theory models.
The results obtained are illustrated systematically with examples from four different algebraic specification logics. In the introduction we also discuss the relevance of our institution-independent approach to the model theory of algebraic specification and computing science, but also to conventional and abstract model theory.

back to Selected Publications