Functional interpretation and inductive definitions
by
Jeremy Avigad
,
Henry Towsner
| Venue: | Journal of Symbolic Logic |
| Citations: | 6 - 1 self |
BibTeX
@ARTICLE{Avigad_functionalinterpretation,
author = {Jeremy Avigad and Henry Towsner},
title = {Functional interpretation and inductive definitions},
journal = {Journal of Symbolic Logic},
year = {},
pages = {2009}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
