Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types [Book Review]

Journal of Symbolic Logic 36 (1):169-171 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kreisel G.. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133.Kreisel G.. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302.Kreisel Georg. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.
Review: G. Kriesel, D. Lacombe, J. Shoenfield, Effective Operations and Partial Recursive Functionals; G. Kreisel, D. Lacombe, J. R. Shoenfield, Partial Recursive Functionals and Effective Operations. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Kreisel G., Lacombe D., and Shoenfield J.. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 364–365.Kreisel G., Lacombe D., and Shoenfield J. R.. Partial recursive functionals and effective operations. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North Holland Publishing Company, Amsterdam 1959, pp. 290–297. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Review: Georg Kreisel, Mathematical Logic. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 101--128.
Review: Georg Kreisel, Hilbert's Programme. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
Review: Georg Kreisel, William W. Tait, Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi. [REVIEW]Rohit Parikh - 1967 - Journal of Symbolic Logic 32 (2):270-271.
Review: G. Kreisel, On the Interpretation of Non-Finitist Proofs; G. Kreisel, Some Elementary Inequalities. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
Review: Georg Kreisel, Some Concepts Concerning Formal Systems of Number Theory. [REVIEW]Gert H. Muller - 1966 - Journal of Symbolic Logic 31 (1):128-128.

Analytics

Added to PP
2013-11-03

Downloads
3 (#1,729,579)

6 months
10 (#308,815)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dirk Van Dalen
Utrecht University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references