Saturated Models

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


A lot of deep results in model theory can be reached by the method of saturated models. Two of the most useful properties of saturated models are their existence and their uniqueness. The existence means that each model can be elementarily extended to a saturated model, while uniqueness holds when the model is ‘sufficiently‘ small. The main topic of this chapter is the investigation of frameworks supporting these two properties, and of some important applications.


Isomorphism Class Saturated Model Signature Extension Directed Diagram Elementary Extension 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Personalised recommendations