Journal of Symbolic Logic 74 (4):1100-1120 (2009)

Authors
Jeremy Avigad
Carnegie Mellon University
Abstract
Extending Gödel's Dialectica interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite recursion on well-founded trees
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1254748682
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,864
Through your library

References found in this work BETA

Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Shoenfield is Gödel After Krivine.Thomas Streicher & Ulrich Kohlenbach - 2007 - Mathematical Logic Quarterly 53 (2):176-179.
Gödel's Functional Interpretation.Jeremy Avigad & Solomon Feferman - 2000 - Bulletin of Symbolic Logic 6 (4):469-470.

View all 12 references / Add more references

Citations of this work BETA

Intuitionistic Fixed Point Logic.Ulrich Berger & Hideki Tsuiki - 2021 - Annals of Pure and Applied Logic 172 (3):102903.
Partial Impredicativity in Reverse Mathematics.Henry Towsner - 2013 - Journal of Symbolic Logic 78 (2):459-488.

Add more citations

Similar books and articles

Gödel's Functional Interpretation.Jeremy Avigad & Solomon Feferman - 2000 - Bulletin of Symbolic Logic 6 (4):469-470.
Hume’s Two Definitions.Helen Beebee - 2011 - Hume Studies 37 (2):243-274.
Generalizations of the Kruskal-Friedman Theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.
Quantifiers, Games and Inductive Definitions.Peter Aczel - 1975 - In Stig Kanger (ed.), Journal of Symbolic Logic. Elsevier. pp. 1--14.
On the No-Counterexample Interpretation.Ulrich Kohlenbach - 1999 - Journal of Symbolic Logic 64 (4):1491-1511.

Analytics

Added to PP index
2010-09-14

Total views
37 ( #283,042 of 2,433,130 )

Recent downloads (6 months)
1 ( #463,753 of 2,433,130 )

How can I increase my downloads?

Downloads

My notes