Date of Original Version

2008

Type

Article

Rights Management

All Rights Reserved

Abstract or Description

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.

DOI

10.2178/jsl/1254748682

Included in

Philosophy Commons

Share

COinS