Carnegie Mellon University
Browse
file.pdf (221.7 kB)

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

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC