file.pdf (221.7 kB)
Download file

Functional Interpretation and Inductive Definitions

Download (221.7 kB)
journal contribution
posted on 01.01.2008, 00:00 by Jeremy AvigadJeremy Avigad, Henry Towsner
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.

History

Publisher Statement

All Rights Reserved

Date

01/01/2008

Usage metrics

Categories

Keywords

Exports