The bounded functional interpretation of the double negation shift

DOI10.2178/JSL/1268917503zbMATH Open1192.03038OpenAlexW2014033049MaRDI QIDQ3570171FDOQ3570171

Authors: Patrícia Engrácia, Fernando Ferreira 

Publication date: 24 June 2010

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1268917503

Recommendations

• Bounded functional interpretation
• On bounded functional interpretations
• The bounded functional interpretation of bar induction
• Bounded functional interpretation and feasible analysis
• Nonstandardness and the bounded functional interpretation

zbMATH Keywords

bar recursionfunctional interpretation

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Cites Work

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

Cited In (11)

• Bounded Dialectica interpretation: categorically
• Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
• The bounded functional interpretation of bar induction
• Delimited control operators prove double-negation shift
• Diller-Nahm bar recursion
• Factorization of the Shoenfield-like bounded functional interpretation
• Gödel functional interpretation and weak compactness
• Bounded functional interpretation
• The Herbrand functional interpretation of the double negation shift
• Interrelation between weak fragments of double negation shift and related principles
• A short note on Spector's proof of consistency of analysis

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3570171)