Modèles de l'arithmétique : Séminaire Paris VII
Astérisque, no. 73 (1980) , 162 p. 
@book{AST_1980__73_,
     author = {Collectif},
     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://archive.numdam.org/item/AST_1980__73_/}
}
TY  - BOOK
AU  - Collectif
ED  - McAloon Kenneth
TI  - Modèles de l'arithmétique : Séminaire Paris VII
T3  - Astérisque
PY  - 1980
IS  - 73
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/AST_1980__73_/
LA  - mul
ID  - AST_1980__73_
ER  - 
%0 Book
%A Collectif
%E McAloon Kenneth
%T Modèles de l'arithmétique : Séminaire Paris VII
%S Astérisque
%D 1980
%N 73
%I Société mathématique de France
%U http://archive.numdam.org/item/AST_1980__73_/
%G mul
%F AST_1980__73_
McAloon Kenneth (éd.). Modèles de l'arithmétique : Séminaire Paris VII. Astérisque, no. 73 (1980), 162 p. http://numdam.org/item/AST_1980__73_/

Sommaire

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