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

  • Kenneth Mc Aloon
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 710)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [F]
    H. FRIEDMAN-Higher set theory and mathematical practice, Ann. Math. Logic, 1971Google Scholar
  2. [G]
    K. GÖDEL-Philosophy of Mathematics, recueil de Benacareff et Putmann, Prentice-Hall, 1964.Google Scholar
  3. [H,P]
    L. HARRINGTON-J. PARIS-A mathematical incompleteness in Peano arithmetic, Handbook of Mathematical Logic, North-Holland, 1977.Google Scholar
  4. [Ke]
    J. KETONEN-Set theory for a small universe, manuscrit.Google Scholar
  5. [Ki]
    L. KIRBY-Initial segment of models of arithmetic, Thèse, Manchester, 1976.Google Scholar
  6. [K,P]
    L. KIRBY-J. PARIS-Initial segments of models of arithmetic, Lecture Notes in Math., vol. 619, Springer-Verlag.Google Scholar
  7. [M]
    D. MARTIN-Borel Determinacy, Ann. Math., 1976.Google Scholar
  8. [Mc]
    K. MC ALOON-Iterating the new "true, unprovable" formulas, manuscrit.Google Scholar
  9. [P]
    J. PARIS-Independence results in Peano arithmetic using miner models, à paraître.Google Scholar
  10. [Sc]
    J. SCHLIPF-Scribblings on papers of Kirby and Paris and Paris and Harrington, Notices de l’A.M.S., Avril 1978.Google Scholar
  11. [S]
    R. SOLOVAY-Rapidly growing Ramsey functions, manuscrit.Google Scholar

Copyright information

© N. Bourbaki 1979

Authors and Affiliations

  • Kenneth Mc Aloon

There are no affiliations available

Personalised recommendations