The theory of the Gödel functionals

Journal of Symbolic Logic 41 (3):574-582 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200051148

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

The theory of the gödel functionals.Nicolas D. Goodman - 1976 - Journal of Symbolic Logic 41 (3):574-582.
Goodman Nelson and Quine W. V.. Steps toward a constructive nominalism. Gödel prefix, a single binary predicate. pp. 105–122. [REVIEW]Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (1):49-50.
Ordinals and Functionals in Proof Theory.Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (4):625-626.
A strong multi-typed intuitionistic theory of functionals.Farida Kachapova - 2015 - Journal of Symbolic Logic 80 (3):1035-1065.
Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.
Computing with functionals: Computability theory or computer science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
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.

Analytics

Added to PP
2009-01-28

Downloads
97 (#217,235)

6 months
13 (#257,195)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.
On Goodman Realizability.Emanuele Frittaion - 2019 - Notre Dame Journal of Formal Logic 60 (3):523-550.
Extended bar induction in applicative theories.G. R. Renardel Delavalette - 1990 - Annals of Pure and Applied Logic 50 (2):139-189.

Add more citations

References found in this work

No references found.

Add more references