The bounded functional interpretation of the double negation shift
From MaRDI portal
Publication:3570171
DOI10.2178/JSL/1268917503zbMath1192.03038OpenAlexW2014033049MaRDI QIDQ3570171
Patrícia Engrácia, Fernando Ferreira
Publication date: 24 June 2010
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1268917503
Related Items (2)
The bounded functional interpretation of bar induction ⋮ THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
Cites Work
This page was built for publication: The bounded functional interpretation of the double negation shift