Publications du Département de mathématiques (Lyon), Tome 16 (1979) no. 3-4

Sommaire

Quelques hypothèses sur la porte des notions opératoires dans les langues naturelles et techniques

Mouloud, N.

p. 1-11

Théories des types de graphes

Blanc, Georges

p. 13-20

Sur quelques classes universelles de relations

m

-aires

Frasnay, Claude

p. 21-32

Complétude en théorie sur graphes orientés

Rambaud, Christiane

p. 33-37

Ultraproduits des groupes finis et applications à la théorie de Galois

Potthoff, Klaus

p. 39-45

Eine weit reichende Wohlordnung der naturlichen zahlen

Felscher, Walter

p. 47-61

Une propriété de seuil pour les intersections dans un ensemble fini

Paillet, Jean-Luc

p. 63-64

Qu'est-ce la complétude structurale ?

Makinson, David

p. 65-66

Un nouveau type de preuve mathématique : le théorème des quatre couleurs. I - Exposé préliminaire

Mayer, Jean

p. 67-80

Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs

Appel, K. I.

p. 81-88

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.

p. 89-99