The bounded functional interpretation of the double negation shift

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

zbMATH Keywords

bar recursionfunctional interpretation

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Related Items (2)

The bounded functional interpretation of bar induction ⋮ THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT

Cites Work

• Factorization of the Shoenfield-like bounded functional interpretation
• Bounded functional interpretation
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: The bounded functional interpretation of the double negation shift