HAL : hal-00680898, version 2

arXiv : 1203.4459

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Versions disponibles :

v1 (20-03-2012)

v2 (04-07-2012)

v3 (23-01-2013)

Fraïssé limits of metric structures

Itaï Ben Yaacov 1

(2012)

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. For this purpose, we introduce and use the formalism of \emph{(strictly) approximate isomorphisms}, which has some advantages over the more familiar formalism of finite isomorphisms which one may subsequently modify by a given error term. The use of this formalism naturally gives rise to a natural generalisation of the above, which we call \emph{weak Fraïssé classes}, and whose limits are unique, in a sense, up to arbitrarily small error.

1 :	Institut Camille Jordan (ICJ)
	CNRS : UMR5208 – Université Claude Bernard - Lyon I – Ecole Centrale de Lyon – Institut National des Sciences Appliquées (INSA) - Lyon

Domaine

:

Mathématiques/Logique

Mots Clés : Fraïssé class – Fraïssé limit – metric structure – homogeneous structure – perturbation – Gurarij space – Katětov function

hal-00680898, version 2

http://hal.archives-ouvertes.fr/hal-00680898

oai:hal.archives-ouvertes.fr:hal-00680898

Contributeur : Itaï Ben Yaacov <>

Soumis le : Mercredi 4 Juillet 2012, 16:15:19

Dernière modification le : Mercredi 4 Juillet 2012, 17:05:44