Fraïssé limits of metric structures

Itaï Ben Yaacov (1)

1 ICJ - Institut Camille Jordan

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}.

Mots clés: Fraïssé class; Fraïssé limit; metric structure; ultra-homogeneous structure; approximate isometry; Katětov function; Gurarij space

Domaines: Logique [math.LO]

Itaï Ben Yaacov. Fraïssé limits of metric structures. 2012. ⟨hal-00680898v3⟩