×

zbMATH — the first resource for mathematics

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
PDF BibTeX XML Cite
Full Text: EMIS EuDML