pith. sign in

arxiv: 1410.4364 · v1 · pith:ZZDGKKE4new · submitted 2014-10-16 · 🧮 math.LO · cs.LO

Unifying Functional Interpretations: Past and Future

classification 🧮 math.LO cs.LO
keywords functionalinterpretationslookarticlebackboundeddialecticadiller-nahm
0
0 comments X
read the original abstract

This article surveys work done in the last six years on the unification of various functional interpretations including G\"odel's dialectica interpretation, its Diller-Nahm variant, Kreisel modified realizability, Stein's family of functional interpretations, functional interpretations "with truth", and bounded functional interpretations. Our goal in the present paper is twofold: (1) to look back and single out the main lessons learnt so far, and (2) to look forward and list several open questions and possible directions for further research.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.