Results 1 -
2 of
2
Functional interpretation and inductive definitions
- Journal of Symbolic Logic
"... 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. 1. ..."
Abstract
-
Cited by 6 (1 self)
- Add to MetaCart
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. 1.
