Translator Disclaimer
June 2010 The bounded functional interpretation of the double negation shift
Patrícia Engrácia, Fernando Ferreira
J. Symbolic Logic 75(2): 759-773 (June 2010). DOI: 10.2178/jsl/1268917503

Abstract

We prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functionals of finite type. As an application, we show that full numerical comprehension is compatible with the uniformities introduced by the characteristic principles of the bounded functional interpretation for the classical case.

Citation

Download Citation

Patrícia Engrácia. Fernando Ferreira. "The bounded functional interpretation of the double negation shift." J. Symbolic Logic 75 (2) 759 - 773, June 2010. https://doi.org/10.2178/jsl/1268917503

Information

Published: June 2010
First available in Project Euclid: 18 March 2010

zbMATH: 1192.03038
MathSciNet: MR2648164
Digital Object Identifier: 10.2178/jsl/1268917503

Rights: Copyright © 2010 Association for Symbolic Logic

JOURNAL ARTICLE
15 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.75 • No. 2 • June 2010
Back to Top