Article Dans Une Revue The Journal of Symbolic Logic Année : 2015

Fraïssé limits of metric structures

Résumé

We develop \emph{Fraïssé theory}, namely the theory of \emph{Fraïssé classes} and \emph{Fraïssé limits}, in the context of metric structures. We show that a class of finitely generated structures is Fraïssé if and only if it is the age of a separable approximately homogeneous structure, and conversely, that this structure is necessarily the unique limit of the class, and is universal for it. We do this in a somewhat new approach, in which ''finite maps up to errors'' are coded by \emph{approximate isometries}.

Fichier principal
Vignette du fichier
Fraisse.pdf (273.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00680898 , version 1 (20-03-2012)
hal-00680898 , version 2 (04-07-2012)
hal-00680898 , version 3 (23-01-2013)
hal-00680898 , version 4 (08-09-2014)

Licence

Identifiants

Citer

Itaï Ben Yaacov. Fraïssé limits of metric structures. The Journal of Symbolic Logic, 2015, 80 (1), pp.100-115. ⟨10.1017/jsl.2014.71⟩. ⟨hal-00680898v4⟩
295 Consultations
1225 Téléchargements

Altmetric

Partager

  • More