K. McAloon. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 1–2. - L. A. S. Kirby. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 5–18. - Daniel Lascar. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, 19–30. - Kenneth McAloon. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 31–39. - Kenneth McAloon. Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 41–58. - M. A. Dickmann. Types remarquables et extensions de modèles dans l'arithmétique de Peano, I. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 59–117. - Jean-Pierre Ressayre. Types remarquables et extensions de modèles dans l'arithmétique de Peano, II. With an appendix by M. A. Dickmann. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 119–154.