Advertisement

Theories and Models

Part of the Studies in Universal Logic book series (SUL)

Abstract

In this chapter we develop some fundamental institution theoretic concepts that play an important role for our institution-independent approach to model theory.

Keywords

Relation Symbol Left Adjoint Inclusion System Elementary Extension Elementary Embedding 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Personalised recommendations