This is a preview of subscription content, access via your institution.
Preview
Unable to display preview. Download preview PDF.
Bibliographie
H. FRIEDMAN-Higher set theory and mathematical practice, Ann. Math. Logic, 1971
K. GÖDEL-Philosophy of Mathematics, recueil de Benacareff et Putmann, Prentice-Hall, 1964.
L. HARRINGTON-J. PARIS-A mathematical incompleteness in Peano arithmetic, Handbook of Mathematical Logic, North-Holland, 1977.
J. KETONEN-Set theory for a small universe, manuscrit.
L. KIRBY-Initial segment of models of arithmetic, Thèse, Manchester, 1976.
L. KIRBY-J. PARIS-Initial segments of models of arithmetic, Lecture Notes in Math., vol. 619, Springer-Verlag.
D. MARTIN-Borel Determinacy, Ann. Math., 1976.
K. MC ALOON-Iterating the new "true, unprovable" formulas, manuscrit.
J. PARIS-Independence results in Peano arithmetic using miner models, à paraître.
J. SCHLIPF-Scribblings on papers of Kirby and Paris and Paris and Harrington, Notices de l’A.M.S., Avril 1978.
R. SOLOVAY-Rapidly growing Ramsey functions, manuscrit.
Rights and permissions
Copyright information
© 1979 N. Bourbaki
About this paper
Cite this paper
Mc Aloon, K. (1979). Formes combinatoires du théorème d’incomplétude [d’après J. Paris et d’autres]. In: Séminaire Bourbaki vol. 1977/78 Exposés 507–524. Lecture Notes in Mathematics, vol 710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0069984
Download citation
DOI: https://doi.org/10.1007/BFb0069984
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09243-8
Online ISBN: 978-3-540-35340-9
eBook Packages: Springer Book Archive
