Functional Interpretation and Modified Realizability Interpretation of ...
Functional Interpretation and Modified Realizability Interpretation of ...
Functional Interpretation and Modified Realizability Interpretation of ...
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Modified</strong> <strong>Realizability</strong> <strong>and</strong> DNSThe modified realizability interpretation <strong>of</strong> DNS usesso-called modified bar-recursion, which is strictlystronger than Spector’s variant <strong>of</strong> bar-recursion.As modified bar-recursion is not effectively majorizable<strong>and</strong> depends on a continuity principle for , it cannot beused to extract effective bounds from ineffective pro<strong>of</strong>sin analysis.<strong>Functional</strong> <strong>Interpretation</strong> <strong>and</strong> <strong>Modified</strong> <strong>Realizability</strong> <strong>Interpretation</strong> <strong>of</strong> the Double-Negation Shift – p. 14/1