file.pdf (311.97 kB)
0/0

Predicative Functionals and an Interpretation of ID^_

Download (311.97 kB)
journal contribution
posted on 22.12.1997 by Jeremy 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

Exports

Categories

Exports