@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] Higher set theory and mathematical practice, Ann. Math. Logic, 1971, | MR 284327 | Zbl 0215.32702
-[G] Philosophy of Mathematics, recueil de Benacareff et Putmann, Prentice-Hall, 1964.
-[H,P] A mathematical incompleteness in Peano arithmetic, Handbook of Mathematical Logic, North-Holland, 1977. | MR 457132
- -[Ke] Set theory for a small universe, manuscrit.
-[Ki] Initial segment of models of arithmetic, Thèse, Manchester, 1976.
-[K,P] Initial segments of models of arithmetic, Lecture Notes in Math., vol. 619, Springer-Verlag. | MR 491157
- -[M] Borel Determinacy, Ann. Math., 1976. | MR 403976 | Zbl 0336.02049
-[Mc] Iterating the new "true, unprovable" formulas, manuscrit.
-[P] Independence results in Peano arithmetic using miner models, à paraître.
-[Sc] Scribblings on papers of Kirby and Paris and Paris and Harrington, Notices de l'A.M.S., Avril 1978.
-[S] Rapidly growing Ramsey functions, manuscrit.
-