Abstract
Recall that the age of a relation is the set of isomorphy types of its finite subrelations. Here we prove, with a topological argument, that if the set of ages included in a given age is at most denumerable, then it is partially well ordered by inclusion.
Similar content being viewed by others
Bibliographie
G. W. Day,Superatomic boolean algebra, Pacific J. Math.23 (1967), 479–489.
E. Fisher and A. Robinson,Inductive theories and their forcing companions, Israel J. Math.12 (1972), 95–107.
R. Fraïssé,Cours de Logique Mathématique, Tome 1,Relation et formule logique, 2ème Edition, Gauthier-Villars, Paris, 1971.
R. Fraïssé,Cours de Logique Mathématique, Tome 2,Théorie des modèles, 2ème Edition, Gauthier-Villars, Paris, 1972.
R. Fraïssé,Abritement entre relations et spécialement entre chaînes, Symposia Mathematica5 (1970), 203–251.
R. Fraïsse et M. Pouzet,Interprétabilité d’une relation par une chaîne, C. R. Acad. Sci. Paris Sér. A,272 (1971), 1624.
R. Frïssé et M. Pouzet,Sur une classe de relations n’ayant qu’un nombre fini de bornes, C. R. Acad. Sci. Paris, Sér A,273 (1971), 275.
C. Frasnay,Quelques problèmes combinatoires concernant les ordres totaux et les relations monomorphes, Ann. Inst. Fourier (Grenoble),15 (1965), 415–524.
J. B. Kruskal,Well quasi ordering, the tree theorem, and Wazsonyi’s conjecture, Trans. Amer. Math. Soc.95 (1960), 210–225.
R. D. Mayer and R. S. Pierce,Boolean algebras with ordered bases, Pacific J. Math.10 (1960), 925–942.
M. Pouzet,Le belordre d'abritement et ses rapports avec les bornes d’une multirelation, C. R. Acad. Sci. Paris, Sér. A,274 (1972), 1677–1680.
M. Pouzet,Ages belordonnés, preprint.
W. Sierpinski et S. Mazurkiewicz,Contribution à la topologie des ensembles, Fund. Math.1 (1920), 17–27.
Author information
Authors and Affiliations
Additional information
Les notions et leur terminologie introduites dans cette section sont pour l'essentiel empruntées à R. Fraïssé [3].
An erratum to this article is available at http://dx.doi.org/10.1007/BF02761505.
Rights and permissions
About this article
Cite this article
Pouzet, M. Condition de chaine en theorie des relations. Israel J. Math. 30, 65–84 (1978). https://doi.org/10.1007/BF02760830
Received:
Revised:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02760830