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)

Fraisse, R.

Publications du Département de mathématiques (Lyon), Volume 16 (1979) p. 89-99

Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes

Fraisse, R.

Publications du Département de mathématiques (Lyon), Volume 14 (1977) p. 41-62