Le forcing faible ; son utilisation pour caractériser les relations unaires générales pour la chaîne ou la consécutivité des entiers naturels (résultat de R. Solovay, 1976) R. Fraisse — 1979 Publications du Département de mathématiques (Lyon)
Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes R. Fraisse — 1977 Publications du Département de mathématiques (Lyon)