Abstract
In this chapter we first give a model theoretic presentation of classical first order logic with equality and show the invariance of the satisfaction relation between models and sentences with respect to the change of notation. This is our first example of an institution. We then introduce the abstract concept of institution and illustrate it by a list of examples from logic and computing science. The next section introduces morphisms and comorphisms of institutions, which are mappings preserving the structure of institution with rather complementarymeaning in the actual situations. The final section of this chapter, which is intended for the more category theoretic minded readers, provides a more categorical definition for the concept of institution, which eases considerably our access to the structural properties of categories of institutions. As an application we prove the existence of limits of institutions
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Birkhäuser Verlag AG
About this chapter
Cite this chapter
(2008). Institutions. In: Institution-independent Model Theory. Studies in Universal Logic. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8708-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8708-2_3
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8707-5
Online ISBN: 978-3-7643-8708-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)