file.pdf (311.97 kB)
Download file

Predicative Functionals and an Interpretation of ID^_

Download (311.97 kB)
journal contribution
posted on 22.12.1997, 00:00 by Jeremy AvigadJeremy Avigad

In 1958 Gödel published his Dialectica interpretation, which reduces classical arithmetic to a quantifier-free theory T axiomatizing the primitive recursive functionals of finite type.

History

Publisher Statement

All Rights Reserved

Date

22/12/1997

Usage metrics

Categories

Exports