Formes combinatoires du théorème d'incomplétude
Séminaire Bourbaki : vol. 1977/78, exposés 507-524, Séminaire Bourbaki, no. 20 (1979), Exposé no. 521, 14 p. 
@incollection{SB_1977-1978__20__263_0,
     author = {Mc Aloon, Kenneth},
     title = {Formes combinatoires du th\'eor\`eme d'incompl\'etude},
     booktitle = {S\'eminaire Bourbaki : vol. 1977/78, expos\'es 507-524},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     note = {talk:521},
     publisher = {Springer-Verlag},
     number = {20},
     year = {1979},
     zbl = {0416.03054},
     mrnumber = {554226},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1977-1978__20__263_0/}
}
Mc Aloon, Kenneth. Formes combinatoires du théorème d'incomplétude, dans Séminaire Bourbaki : vol. 1977/78, exposés 507-524, Séminaire Bourbaki, no. 20 (1979), Exposé no. 521, 14 p. http://www.numdam.org/item/SB_1977-1978__20__263_0/

[F] H. Friedman - Higher set theory and mathematical practice, Ann. Math. Logic, 1971, | MR 284327 | Zbl 0215.32702

[G] K. Gödel - Philosophy of Mathematics, recueil de Benacareff et Putmann, Prentice-Hall, 1964.

[H,P] L. Harrington - J. Paris - A mathematical incompleteness in Peano arithmetic, Handbook of Mathematical Logic, North-Holland, 1977. | MR 457132

[Ke] J. Ketonen - Set theory for a small universe, manuscrit.

[Ki] L. Kirby - Initial segment of models of arithmetic, Thèse, Manchester, 1976.

[K,P] L. Kirby - J. Paris - Initial segments of models of arithmetic, Lecture Notes in Math., vol. 619, Springer-Verlag. | MR 491157

[M] D. Martin - Borel Determinacy, Ann. Math., 1976. | MR 403976 | Zbl 0336.02049

[Mc] K. Mc Aloon - Iterating the new "true, unprovable" formulas, manuscrit.

[P] J. Paris - Independence results in Peano arithmetic using miner models, à paraître.

[Sc] J. Schlipf - Scribblings on papers of Kirby and Paris and Paris and Harrington, Notices de l'A.M.S., Avril 1978.

[S] R. Solovay - Rapidly growing Ramsey functions, manuscrit.