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 [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

DOI

10.2307/2271570

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Kleene S. C.. Realizability. 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. 285–289.Kleene S. C.. Realizability. 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. 100–104. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
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.
Kleene S. C.. Countable functionals. Constructivity in mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 81–100.Kleene S. C.. Recursive functionals of higher finite types. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton 1960, pp. 148–154. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
Kreisel G.. Sums of squares. 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. 313–320. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
Craig W.. Analysis of first-order implications. 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. 175–180. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
Duda W. L.. Post canonical language. 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. 410–423. [REVIEW]W. E. Singletary - 1971 - Journal of Symbolic Logic 36 (2):343-343.
J. W. Addison. Hierarchies and the axiom of constructibility. 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. 355–362. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):137-138.
Fridshal R.. The Quine algorithm. 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. 211–212. [REVIEW]Thomas H. Mott - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Curry Haskell B.. Combinatory logic. 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. 90–99. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-267.
Wang Hao. Symbolic representations of calculating machines. 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. 181–188. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Church Alonzo. Application of recursive arithmetic to the problem of circuit synthesis 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. 3–50. 3a-45a. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
Robinson Abraham. Applications to field theory. 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. 326–331. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
Cobham Alan. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 391–395. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
Tarski A. and Vaught R. L.. Elementary extensions. 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. 51–55. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
Scott Dana. The notion of rank in set-theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 267–269. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):662-663.

Analytics

Added to PP
2016-06-30

Downloads
50 (#304,573)

6 months
2 (#1,157,335)

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