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},
     series = {S\'eminaire Bourbaki},
     note = {talk:521},
     pages = {263--276},
     publisher = {Springer-Verlag},
     number = {20},
     year = {1979},
     mrnumber = {554226},
     zbl = {0416.03054},
     language = {fr},
     url = {http://archive.numdam.org/item/SB_1977-1978__20__263_0/}
}
TY  - CHAP
AU  - Mc Aloon, Kenneth
TI  - Formes combinatoires du théorème d'incomplétude
BT  - Séminaire Bourbaki : vol. 1977/78, exposés 507-524
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:521
PY  - 1979
SP  - 263
EP  - 276
IS  - 20
PB  - Springer-Verlag
UR  - http://archive.numdam.org/item/SB_1977-1978__20__263_0/
LA  - fr
ID  - SB_1977-1978__20__263_0
ER  - 
%0 Book Section
%A Mc Aloon, Kenneth
%T Formes combinatoires du théorème d'incomplétude
%B Séminaire Bourbaki : vol. 1977/78, exposés 507-524
%A Collectif
%S Séminaire Bourbaki
%Z talk:521
%D 1979
%P 263-276
%N 20
%I Springer-Verlag
%U http://archive.numdam.org/item/SB_1977-1978__20__263_0/
%G fr
%F 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://archive.numdam.org/item/SB_1977-1978__20__263_0/

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

[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

[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

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

[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.