We provide a self-contained introduction to the classical theory of universal-homogeneous models (also known as generic structures, rich models, or Fraïssé 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.
A viewpoint on amalgamation classes
Barbina S.;
2010-01-01
Abstract
We provide a self-contained introduction to the classical theory of universal-homogeneous models (also known as generic structures, rich models, or Fraïssé 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
