Theories and Models
Part of the Studies in Universal Logic book series (SUL)
In this chapter we develop some fundamental institution theoretic concepts that play an important role for our institution-independent approach to model theory.
KeywordsRelation Symbol Left Adjoint Inclusion System Elementary Extension Elementary Embedding
Unable to display preview. Download preview PDF.
© Birkhäuser Verlag AG 2008