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

Voir la notice de l'acte provenant de la source

MR   Zbl 

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://geodesic.mathdoc.fr/item/SB_1977-1978__20__263_0/
@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},
     year = {1979},
     publisher = {Springer-Verlag},
     number = {20},
     mrnumber = {554226},
     zbl = {0416.03054},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/item/SB_1977-1978__20__263_0/
%G fr
%F SB_1977-1978__20__263_0

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

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

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