Dialectica Interpretation with Fine Computational Control

This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the possibility to switch on and off every computational component and explore possible applications of the refined interpretation.

• Type: Conference
• Year: 2009
• Where: CIE
• Authors: Trifon Trifonov
• Keywords: Applied Computing, Berger’s Uniform Quantifiers, CIE 2009, Computational Component