Gödel's Functional ("Dialectica") Interpretation

Gödel's Functional ("Dialectica") Interpretation (1998)

Cached

Download Links

[math.stanford.edu]

Other Repositories/Bibliography

DBLP

by Jeremy Avigad , Solomon Feferman

Citations:

52 - 9 self

BibTeX

@MISC{Avigad98gödel'sfunctional,
    author = {Jeremy Avigad and Solomon Feferman},
    title = {Gödel's Functional ("Dialectica") Interpretation},
    year = {1998}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

253	Interpretation fonctionelle et elimination des coupures de l’arithmetique d’ordre superieur. These d’Etat - Girard - 1972
51	Recursive functionals and quantifiers of finite types - Kleene - 1959
32	Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity - Leeuwen - 1990
6	A Diller-Nahm-style functional interpretation of KPω - Burr
5	Kritische Untersuchungen über die Grundlagen der Analysis - Kontinuum - 1918
3	Systems of second-order arithmetic with restricted induction (abstract - Friedman - 1976
3	what sense is intuitionistic logic constructive - In - 1941
1	Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungzahlen - Ges, Zurich
1	The Handbook of Mathematical Logic - ed
1	Mathematics as a numerical language, in: Kino, Myhill and Vesley [1970 - Buchholz, Feferman, et al.
1	A characterization of the \Sigma 1 definable functions of KP! + (uniform AC - R
1	A reprinting of the author's 1985 Princeton University dissertation - Arithmetic, Bibliopolis
1	Asymmetric interpretation for bounded theories - L
1	Implementing Mathematics with the Nuprl Proof Development System - Cook, Urquhart
1	functionals in proof theory, in - Ordinals
1	the bar rule, and autonomously iterated comprehension schemes in analysis - principles
1	theorem and a system of ordinal notations - bar
1	eine bisher noch nicht benuzte Erweiterung des finiten Standpunktes - Uber
1	Frege to Godel: A sourcebook in mathematical logic - From
1	Unendliche, Mathematische Annalen, 95, pp. 161--190. English translation in van Heijenoort [1967 - das
1	Hereditarily majorizable functionals of finite type, in: Troelstra [1973 - Kino, Myhill, et al.
1	results in proof theory, in: Fenstad [1971 - Ideas
1	Introductory note to 1958 and 1972, in: Godel [1990 - Troelstra, Dalen
1	The Continuum. A Critical Examination of the Foundation of Analysis - York