Computability in Europe 2006
Logical Approaches to Computational Barriers


Regular Talk:
Functional interpretation and modified realizability interpretation of the double-negation shift


Speaker: Philipp Gerhardy
Slot: Array, 14:30-14:50, col. 3

Abstract

In this paper, we investigate the relationship between the functional,
resp. the modified realizability, interpretation of finite and infinite
variants of the double-negation shift. The aim of these investigations
is to gain a better understanding of the existing (bar-recursive)
interpretations of the full, infinite
double-negation shift. In
particular, we obtain a new modified realizability interpretation of
the double-negation shift that is derived by extending the
corresponding interpretation of the intuitionistic principle 
  (NOT NOT P_0 & NOT NOT P_1) -> NOT NOT (P_0 & P_1) 
to the infinite case. 


websites: Arnold Beckmann 2006-04-19