Skip to main content
SpringerLink
Log in

Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. Diller, J., Schütte, K.: Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Arch. math. Logik14 (1971), 69–74.

    Google Scholar 

  2. Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica12 (1958), 280–287.

    Google Scholar 

  3. Howard, W. A.: Functional interpretation of bar induction by bar recursion. Compositio Math.20 (1968), 107–124.

    Google Scholar 

  4. Howard, W. A.: Assignment of ordinals to terms for primitive recursive functionals of finite type. Proc. of the summer conference at Buffalo in 1968, North Holland, Amsterdam 1970.

    Google Scholar 

  5. Kleene, S. C.: Introduction to metamathematics. North Holland, Amsterdam4 1964.

    Google Scholar 

  6. Schütte, K.: Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann.122 (1950), 47–65.

    Google Scholar 

  7. Shoenfield, J. R.: Mathematical logic. Addison-Wesley, Reading etc. 1967.

    Google Scholar 

  8. Spector, C.: Provably recursive functionals of analysis. Proc. Symp. Pure Math., vol. 5, AMS, Providence 1962, 1–27.

    Google Scholar 

  9. Troelstra, A. S.: Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proc. 2nd Scandinavian logic symp. North Holland, Amsterdam 1971.

    Google Scholar 

  10. Yasugi, M.: Intuitionistic analysis and Gödel's interpretation. J. Math. Soc. Japan15 (1963), 101–112.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. München, und Werner Nahm, Bonn

    Justus Diller

Authors
  1. Justus Diller
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Diller, J. Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Arch math Logik 16, 49–66 (1974). https://doi.org/10.1007/BF02025118

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02025118

Search

Navigation