Extensional Gödel functional interpretation

New York,: Springer Verlag (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.L28 no. 306

ISBN(s)

0387061193

Links

PhilArchive



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

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

Proof theory and intuitionistic systems.Bruno Scarpellini - 1971 - New York,: Springer Verlag.
Absoluteness of intuitionistic logic.Daniel Maurice Raphaël Leivant - 1975 - Amsterdam: Mathematisch Centrum.
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
Godel's Ontological Proof and Its Variants.Petr Hájek - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 307.
Proof-theoretic conservations of weak weak intuitionistic constructive set theories.Lev Gordeev - 2013 - Annals of Pure and Applied Logic 164 (12):1274-1292.
Functional interpretation and the existence property.Klaus Frovin Jørgensen - 2004 - Mathematical Logic Quarterly 50 (6):573-576.
Temporal and Atemporal Truth in Intuitionistic Mathematics.Enrico Martino - 2018 - In Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Cham, Switzerland: Springer Verlag.
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics.Michael R. Koss - 2015 - Erkenntnis 80 (5):1055-1068.
Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic.
Classical and Intuitionistic Semantical Groundedness.Enrico Martino - 2018 - In Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Cham, Switzerland: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
9 (#1,268,194)

6 months
5 (#837,449)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Pointwise hereditary majorization and some applications.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (4):227-241.
Elimination of Skolem functions for monotone formulas in analysis.Ulrich Kohlenbach - 1998 - Archive for Mathematical Logic 37 (5-6):363-390.
On a hitherto unexploited extension of the finitary standpoint.Kurt Gödel - 1980 - Journal of Philosophical Logic 9 (2):133 - 142.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references