Date of Original Version

12-22-1997

Type

Article

Rights Management

All Rights Reserved

Abstract or Description

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.

DOI

10.1016/S0168-0072(97)00045-6

Included in

Philosophy Commons

Share

COinS