Skip to main content

Formes combinatoires du théorème d’incomplétude [d’après J. Paris et d’autres]

Part of the Lecture Notes in Mathematics book series (LNM,volume 710)

This is a preview of subscription content, access via your institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. H. FRIEDMAN-Higher set theory and mathematical practice, Ann. Math. Logic, 1971

    Google Scholar 

  2. K. GÖDEL-Philosophy of Mathematics, recueil de Benacareff et Putmann, Prentice-Hall, 1964.

    Google Scholar 

  3. L. HARRINGTON-J. PARIS-A mathematical incompleteness in Peano arithmetic, Handbook of Mathematical Logic, North-Holland, 1977.

    Google Scholar 

  4. J. KETONEN-Set theory for a small universe, manuscrit.

    Google Scholar 

  5. L. KIRBY-Initial segment of models of arithmetic, Thèse, Manchester, 1976.

    Google Scholar 

  6. L. KIRBY-J. PARIS-Initial segments of models of arithmetic, Lecture Notes in Math., vol. 619, Springer-Verlag.

    Google Scholar 

  7. D. MARTIN-Borel Determinacy, Ann. Math., 1976.

    Google Scholar 

  8. K. MC ALOON-Iterating the new "true, unprovable" formulas, manuscrit.

    Google Scholar 

  9. J. PARIS-Independence results in Peano arithmetic using miner models, à paraître.

    Google Scholar 

  10. J. SCHLIPF-Scribblings on papers of Kirby and Paris and Paris and Harrington, Notices de l’A.M.S., Avril 1978.

    Google Scholar 

  11. R. SOLOVAY-Rapidly growing Ramsey functions, manuscrit.

    Google Scholar 

Download references

Authors

Rights and permissions

Reprints 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