Advertisement

Calculability of the primitive recursive functionals of finite type over the natural numbers

A revised version
  • Yoshito Hanatani
Conference paper
  • 186 Downloads
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Gentzen 1935 Untersuchungen über das logische Schliessen. I. II. Mathematische Zeitschrift 39, pp. 176–210, 405–431.MathSciNetCrossRefzbMATHGoogle Scholar
  2. K. Gödel 1958 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica 12, pp. 280–287.MathSciNetCrossRefzbMATHGoogle Scholar
  3. Y. Hanatani 1966 Calculabilité des fonctionnelles récursives primitives de type fini sur les nombres naturels. Annals of the Japan Association for Philosophy of Science, Vol. 3 No. 1, pp. 19–30.MathSciNetCrossRefzbMATHGoogle Scholar
  4. S. Hinata 1967 Calculability of primitive recursive functionals of finite type. Science reports of the Tokyo Kyoiku Daigaku, Section A, Vol. 9, No. 226, pp. 42–59.MathSciNetGoogle Scholar
  5. D. Prawitz 1971 Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium. Ed. by J.E. Fenstad. Amsterdam-London (North-Holland Publ. Co.), pp. 235–307.Google Scholar
  6. W. W. Tait 1967 Intensional interpretations of functionals of finite type I. Journal of symbolic Logic, 32, pp. 198–212.MathSciNetCrossRefzbMATHGoogle Scholar
  7. W. W. Tait 1971 Normal form theorem for bar recursive functions of finite type. Proceedings of the Second Scandinavian Logic Symposium. Ed. by J.E. Fenstad. Amsterdam-London (North-Holland Publ. Co.), pp. 353–367.Google Scholar
  8. G. Takeuti 1955 On the fundamental conjecture of GLC I. Journal of the Mathematical Society of Japan, 7, pp. 249–275.MathSciNetCrossRefzbMATHGoogle Scholar
  9. A. S. Troelstra 1973 Metamathematical Investigation of intuitionistic Arithmetic and Analysis. Springer Lecture Notes Vol. 344. Berlin-Heidelberg-New York. *** DIRECT SUPPORT *** A00J4136 00004Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • Yoshito Hanatani
    • 1
  1. 1.ChambourcyFrance

Personalised recommendations