@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, in Séminaire Bourbaki : vol. 1977/78, exposés 507-524, Séminaire Bourbaki, no. 20 (1979), Talk no. 521, 14 p. http://archive.numdam.org/item/SB_1977-1978__20__263_0/
[F] Higher set theory and mathematical practice, Ann. Math. Logic, 1971, | MR | Zbl
-[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
- -[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
- -[M] Borel Determinacy, Ann. Math., 1976. | MR | Zbl
-[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.
-