Gödel's Functional ("Dialectica") Interpretation
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesPaulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Fernando Ferreira (2008). A Most Artistic Package of a Jumble of Ideas. Dialectica 62 (2: Table of Contents"/> Select):205–222.
Ulrich Kohlenbach (2008). Gödel's Functional Interpretation and its Use in Current Mathematics. Dialectica 62 (2):223–267.
Wolfgang Burr (2002). Concepts and Aims of Functional Interpretations: Towards a Functional Interpretation of Constructive Set Theory. Synthese 133 (1-2):257 - 274.
William Tait (2006). Godel's Interpretation of Intuitionism. Philosophia Mathematica 14 (2):208-228.
Solomon Feferman (2008). Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on Finitism, Constructivity and Hilbert's Program. Dialectica 62 (2: Table of Contents"/> Select):179–203.
Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Justus Diller (2008). Functional Interpretations of Constructive Set Theory in All Finite Types. Dialectica 62 (2):149–177.
Matthias Baaz (ed.) (2011). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press.
Horst Luckhardt (1973). Extensional Gödel Functional Interpretation. New York,Springer-Verlag.
Solomon Feferman (2010). GENERAL. The Gödel Editorial Project : A Synopsis. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Analytics
Monthly downloads |
Added to index2010-09-14Total downloads8 ( #122,991 of 549,010 )Recent downloads (6 months)1 ( #63,261 of 549,010 )How can I increase my downloads? |
My notes
Discussion
