Modèles de l'arithmétique : Séminaire Paris VII
Astérisque, no. 73 (1980) , 162 p. 
@book{AST_1980__73_,
     editor = {McAloon Kenneth},
     title = {Mod\`eles de l'arithm\'etique : S\'eminaire Paris VII},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {73},
     year = {1980},
     zbl = {0424.00006},
     language = {mul},
     url = {http://www.numdam.org/item/AST_1980__73_}
}

McAloon Kenneth (ed.). Modèles de l'arithmétique : Séminaire Paris VII. Astérisque, no. 73 (1980), 162 p. http://www.numdam.org/item/AST_1980__73_/

Table of contents

Introduction et Table des matières AST p. 1-3
La méthode des indicatrices et le théorème d'incomplètude Kirby, L. A. S. p. 5-18
Une indicatrice de type "Ramsey" pour l'arithmétique de Peano et la formule de Paris-Harrington Lascar, Daniel p. 19-30
Les rapports entre la méthode des indicatrices et la méthode de Godel pour obtenir des résultats d'indépendance McAloon, Kenneth p. 31-39
Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide McAloon, Kenneth p. 41-58
Types remarquables et extensions de modèles dans l'arithmétique de Peano, I Dickmann, M. A. p. 59-117
Types remarquables et extensions de modèles dans l'arithmétique de Peano, II Ressayre, Jean-Pierre p. 119-154
Abstract AST p. 155