file.pdf (221.7 kB)
Download file

Functional Interpretation and Inductive Definitions

Download (221.7 kB)
journal contribution
posted on 2008-01-01, 00:00 authored 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

2008-01-01

Usage metrics

Categories

Keywords

Exports