Ubiquity in category for metric spaces and transition systems

European Journal of Combinatorics

Volumn 17, Issue 2-3, 1996, Pages 291-307

  Pouzet, Maurice ^a   Roux, Bernard ^b  

^a UNIVERSITÉ LYON 1   (France)

^b UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030537462     PISSN: 01956698     EISSN: None     Source Type: Journal    
DOI: 10.1006/eujc.1996.0025     Document Type: Article

References (21)

1. Cl. Benzaken , Systèmes Formels, Masson, Paris, 1991.
2. N. Bourbaki, Eléments de Mathématiques, Topologie Générale, Hermann, Paris, 1974, Chs 5-10.
3. A. E. Brouwer, A. M. Cohen and A. Neumaier, Distance-Regular Graphs, Springer-Verlag, Berlin, 1989.
4. P. J. Cameron, Aspects of the random graph, in: Graph Theory and Combinatorics, B. Bollobas (ed.), Academic Press, London, 1984, pp. 65-79.
5. P. J. Cameron, Ubiquitous relational structures, Conférence sur les structures relationnelles et les groupes de permutations, Lyon, France, 1985.
6. R. Fraïssé, Sur certaines relations qui généralisent l'ordre des nombres rationnnels, C.R. Acad. Sci. Paris, Sér. A., Math., 237 (1953), 540-542.
7. R. Fraïssé, L'algèbre Logique et ses Rapports avec la Théorie des Relations, 5ème session (été 1966), Les Presses de l'Université de Montréal, Montréal, 1967.
8. R. Fraïssé, Theory of Relations, North-Holland, Amsterdam, 1986.
9. W. Hodges, Model theory, Encyclopedia of Mathematics 42, Cambridge University Press, Cambridge, 1993.
10. H. J. Keisler, Fundamentals of model theory, in: Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, 90, J. Barwise (ed.), North-Holland, Amsterdam, 1976, pp. 47-103.
11. A. Macintyre, Model completeness, in Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, 90, J. Barwise (ed.), North-Holland, Amsterdam, 1967, pp. 139-180.
12. ω1,ω, Proc. Symp. Pure Math., 25, 233-240.
13. J. F. Pabion, Relations préhomogènes, C.R. Acad. Sci. Paris, Sér. A, Math., 274 (1972), 529-531.
14. J. Pach, On metric properties of countable graphs (in Hungarian), Mat. Lapok, 26 (1975), 305-310.
15. M. Pouzet, Modèle universel d'une théorie n-complète, C.R. Acad. Sci. Paris, Sér. A, Math. , 274 (1972), 433-436.
16. M. Pouzet, Modèle universel d'une théorie n-complète: modèle uniformément préhomogène, C.R. Acad. Sci. Paris, Sér. A, Math., 274 (1972), 695-698.
17. M. Pouzet, Modèle universel d'une théorie n-complète: modèle préhomogène, C.R. Acad. Sci. Paris, Sér, A, Math., 274 (1972), 813-816.
18. M. Pouzet and I. G. Rosenberg, General metrics and contracting operations, Discr. Math., 130 (1994), 103-169.
19. A. Robinson, Forcing in model theory, Actes Cong. Int. Math., 1 (1970), 245-250.
20. H. Simmons, Counting countable E.C. structures, C.R. Sem. Étud. Théor. Mod., Inst. Math., Univ. Cath. Louvain-la-Neuve, Log Analyse, 18 (71-72) (1976), 309-357.
21. P. Urysohn, Sur un espace métrique universel, Bull. Sci. Math. (2) 51 (1927), 43-64.