Abstract
AbstractWe develop Fraïssé theory, namely the theory of Fraïssé classes and 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 approximate isometries.
Publisher
Cambridge University Press (CUP)
Reference13 articles.
1. On d-finiteness in continuous structures
2. [4] Yaacov Itaï Ben and Ward Henson C. , Generic orbits and type isolation in the Gurarij space, research notes.
3. [12] Schoretsanitis Konstantinos , Fraïssé theory for metric structures, Ph.D. thesis, University of Illinois at Urbana-Champaign, 2007.
4. Continuous first order logic and local stability
5. Model theory for metric structures
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献