file.pdf (311.97 kB)

Predicative Functionals and an Interpretation of ID^_

Download (311.97 kB)
journal contribution
posted on 22.12.1997, 00:00 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