Unifying Functional Interpretations: Past and Future release_p2q5nxafnnarxptyj3wqlfxxh4

by Paulo Oliva

Released as a article .

2014  

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.
In text/plain format

Archived Files and Locations

application/pdf  187.7 kB
file_6cnyvwrznnbuvfyvdfoki5ac6e
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2014-10-16
Version   v1
Language   en ?
arXiv  1410.4364v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 103eb92e-7a4f-4868-a005-c042b84e55e7
API URL: JSON