Tome 14 (1977) no. 2

Sommaire

Quelques remarques sur les résultats de Tutte concernant le problème de Ulam
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
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
p. 63-92