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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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.
Predicative functionals and an interpretation of ⌢ID.Jeremy Avigad - 1998 - Annals of Pure and Applied Logic 92 (1):1-34.
Functional interpretation of Aczel's constructive set theory.Wolfgang Burr - 2000 - Annals of Pure and Applied Logic 104 (1-3):31-73.
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. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Equivalence of bar recursors in the theory of functionals of finite type.Marc Bezem - 1988 - Archive for Mathematical Logic 27 (2):149-160.
The Computational Power of ℳω.Dag Normann & Christian Rørdam - 2002 - Mathematical Logic Quarterly 48 (1):117-124.
Recursion on the countable functionals.Dag Normann - 1980 - New York: Springer Verlag.
On the proof theory of type two functionals based on primitive recursive operations.David Steiner & Thomas Strahm - 2006 - Mathematical Logic Quarterly 52 (3):237-252.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
A characterization of the $\Sigma_1$ -definable functions of $KP\omega + $.Wolfgang Burr & Volker Hartung - 1998 - Archive for Mathematical Logic 37 (3):199-214.
Turing oracle machines, online computing, and three displacements in computability theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.
A most artistic package of a jumble of ideas.Fernando Ferreira - 2008 - Dialectica 62 (2):205–222.
Logical problems of functional interpretations.Justus Diller - 2002 - Annals of Pure and Applied Logic 114 (1-3):27-42.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,628,455)

6 months
1 (#1,478,781)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Goodman Realizability.Emanuele Frittaion - 2019 - Notre Dame Journal of Formal Logic 60 (3):523-550.

Add more citations

References found in this work

No references found.

Add more references