Publications du Département de mathématiques (Lyon), Tome 14 (1977) no. 2

Sommaire

Quelques remarques sur les résultats de Tutte concernant le problème de Ulam

Pouzet, Maurice

p. 1-8

Modèles cumulatifs de la théorie des types

p. 9-12

Propriétés de forcing et modèles génériques

Lablanquie, Jean-Claude

p. 13-20

Théorie des catégories et fondements

p. 21-27

Le théorème de Karp-Myhill comme corollaire du théorème des mariages Divers aspects de la « non-généralisation » du théorème de Karp-Myhill

p. 29-39

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

p. 41-62

Deux applications de la méthode de va-et-vient

Dickmann, M. A.

p. 63-92