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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Reférences
K.GÖDEL "Über eine bisher noch nicht benutzte Etweiterung des finiten Standpunktes." Dialectica 12 (1958)
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)
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).
G. KREISEL "Interpretation of classical analysis by means of constructive functionals of finite types." Con uctivity in Mathematics, ed. Heyting (North Holland, Amsterdam, 1959)
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)
G. KREISEL "A survey of proof theory II." Proc.2nd.Scand.Log. Symp., ed. Fedstad (North Holland, Amsterdam 1971)
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.
A.S. TROELSTRA "Notions of realizability", Proc.2nd.Scand.Log.Symp., ed. Fenstad (North Holland, Amsterdam, 1971)
W.W.TAIT "Intentional interpretation of functionals of finite type." J.S.L. 32 (1967)
W.W. TAIT "Normal form theorem for bar recursive functions of finite type." Proc.2nd.Scand.Log.Symp. ed. Fenstad (North Holland, Amsterdam 1971)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
