×

A viewpoint on amalgamation classes. (English) Zbl 1224.03011

Summary: 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.

MSC:

03C10 Quantifier elimination, model completeness, and related topics
03C07 Basic properties of first-order languages and structures
03C30 Other model constructions
PDFBibTeX XMLCite
Full Text: arXiv EuDML EMIS