A viewpoint on amalgamation classes.

MaRDI QIDQ3083896zbMATH OpenFDO

Authors Silvia Barbina, Domenico Zambella

Publication date 23 March 2011

Full work available at URL https://arxiv.org/abs/1009.1789, https://eudml.org/doc/246403, http://www.emis.de/journals/CMUC/cmuc1004/cmuc1004.htm

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

amalgamation classmodel companionuniversal homogeneous model

Mathematics Subject Classification ID

Other model constructions (03C30) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: We provide a self-contained introduction to the classical theory of universal-homogeneous models (also known as generic structures, rich models, or Fra"iss'e limits). In the literature, most treatments restrict consideration to embeddings among finite structures. This is not suitable for some applications. We take the notion of morphisms as primitive and we allow structures to have arbitrary cardinality.

Recommendations

• Abstract classes with few models have ‘homogeneous-universal’ models
• Rich models
• Homogenizable relational structures
• scientific article; zbMATH DE number 4037830
• Homogenizable structures and model completeness

Cited in

(3)

• Rich models
• Bounded Obstructions, Model Companions and Amalgamation Bases
• Abstract classes with few models have ‘homogeneous-universal’ models

This page was built for publication: A viewpoint on amalgamation classes.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3083896)