Date of Original Version

8-21-2006

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

An efficient variant of the double-negation translation explains the relationship between Shoenfield’s and Gödel’s versions of the Dialectica interpretation.

Comments

CMU-PHIL-179

Included in

Philosophy Commons

Share

COinS