The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Functional interpretation and inductive definitions
[article]
2009
arXiv
pre-print
Preserved Fulltext
Other Versions
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.
arXiv:0802.1938v4
fatcat:yxwafhc5rze7zcijmmxaidtbx4