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.
KeywordsIsomorphism Class Saturated Model Signature Extension Directed Diagram Elementary Extension
Unable to display preview. Download preview PDF.