Abstract:We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.
Keywords: model theory, universal homogeneous model, model companion, amalgamation class
AMS Subject Classification: 03C10 03C07 03C30