Skip to main content

Ouelques Resultats sur les Interpretations Fonctionnelles

Intuitionism

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

Keywords

  • Nous Allons
  • Cette Notion
  • Nous Appellerons
  • Nous Venons
  • Nous Dirons

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reférences

  1. K.GÖDEL "Über eine bisher noch nicht benutzte Etweiterung des finiten Standpunktes." Dialectica 12 (1958)

    Google Scholar 

  2. J.Y. GIRARD "Une extension de l'interprétation de Gödel à l'analyse et son application à l'élimination des coupures dans l'analyes et la théorie des types." Proc.2nd Scand.Log.Symp., ed Fenstad (North Holland, Amsterdam)

    Google Scholar 

  3. W.A.HOWARD & G.KREISEL "Transfinite induction and Bar induction of types zero and one, and the rôle of continuity in intuitionistic analysis." J.S.L. 31 (1966).

    Google Scholar 

  4. G. KREISEL "Interpretation of classical analysis by means of constructive functionals of finite types." Con uctivity in Mathematics, ed. Heyting (North Holland, Amsterdam, 1959)

    Google Scholar 

  5. G. KREISEL "Church's Thesis; a kind of reducibility axiom for constructive mathematics." Intuitionism and proof theory, ed. Myhill kino, Vesley (North Holland, Amsterdam, 1970)

    Google Scholar 

  6. G. KREISEL "A survey of proof theory II." Proc.2nd.Scand.Log. Symp., ed. Fedstad (North Holland, Amsterdam 1971)

    Google Scholar 

  7. C.SPECTOR "Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics." Recursive function theory, Proc.Symp. Pure Math. 5, AMS Providence R.I. 1962.

    Google Scholar 

  8. A.S. TROELSTRA "Notions of realizability", Proc.2nd.Scand.Log.Symp., ed. Fenstad (North Holland, Amsterdam, 1971)

    Google Scholar 

  9. W.W.TAIT "Intentional interpretation of functionals of finite type." J.S.L. 32 (1967)

    Google Scholar 

  10. W.W. TAIT "Normal form theorem for bar recursive functions of finite type." Proc.2nd.Scand.Log.Symp. ed. Fenstad (North Holland, Amsterdam 1971)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1973 Springer-Verlag

About this paper

Cite this paper

Girard, J.Y. (1973). Ouelques Resultats sur les Interpretations Fonctionnelles. In: Mathias, A.R.D., Rogers, H. (eds) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol 337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066776

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-05569-3

  • Online ISBN: 978-3-540-36884-7

  • eBook Packages: Springer Book Archive