Skip to main content
SpringerLink
Log in

Functional Interpretation and Kripke Models

  • Chapter
Logic, Foundations of Mathematics, and Computability Theory

Part of the book series: The University of Western Ontario Series in Philosophy of Science ((WONS,volume 9))

Abstract

In this paper, we shall investigate the relationship between Göde’s functional interpretation and validity in a Kripke structure built up from the concept of functional system.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Girard, J. Y.: ‘Interpretation fonctionnelle et elimination des coupures dans F’arithmétique d’ordre supérieur’; thèse de doctorat d’état, université Paris VII, 1972.

    Google Scholar 

  2. Gödel, K.: ‘Über eine bisher noch nicht Erweiterung des finiten Standpunktes’, Dialectica 12 (1958).

    Google Scholar 

  3. Hanatani, Y.: ‘Calculabilité des fonctionnelles récursives primitives de type fini sur les nombres naturels’, Ann. Jap. Ass. Phil. Soc. 3, No. 1, 1966. (Revised english version in: ‘Proof theory symposium’, Kiel 1974. Springer Lecture Notes, No. 500.

    Google Scholar 

  4. Prawitz, D.: Natural Deduction, Almqvitz & Wiksell, Stockholm 1965.

    Google Scholar 

  5. Spector, C: ‘Provably Recursive Functionals of Analysis: A Consistency Proof by an Extension of Principles Formulated in Current Intuitionistic Mathematics. Recursive Function Theory’, Proc. Symp. Pure Math. V, AMS Providence RI, 1962.

    Google Scholar 

  6. Tait, W. W.: ‘Intensional Interpretation of Functional of Finite Type’, JSL 32 (1967).

    Google Scholar 

  7. Troelstra, A. S. (ed.): ‘Metamathematical Investigation of Intuitionistic Arithmetic and Analysis’, Springer Lecture Notes, No. 344.

    Google Scholar 

Download references

Authors
  1. Jean-Yves Girard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The University of Western Ontario, Canada

    Robert E. Butts

  2. The Academy of Finland and Stanford University, USA

    Jaakko Hintikka

Rights and permissions

Reprints and permissions

Copyright information

© 1977 D. Reidel Publishing Company, Dordrecht, Holland

About this chapter

Cite this chapter

Girard, JY. (1977). Functional Interpretation and Kripke Models. In: Butts, R.E., Hintikka, J. (eds) Logic, Foundations of Mathematics, and Computability Theory. The University of Western Ontario Series in Philosophy of Science, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1138-9_3

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-1138-9_3

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-1140-2

  • Online ISBN: 978-94-010-1138-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation