The bounded functional interpretation of bar induction

DOI10.1016/J.APAL.2011.11.008zbMath1251.03067OpenAlexW1988440870MaRDI QIDQ435192

Patrícia Engrácia

Publication date: 11 July 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.11.008

zbMATH Keywords

bar inductionfunctional interpretationdependent choices

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Bounded functional interpretation
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• The bounded functional interpretation of the double negation shift
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Logical Approaches to Computational Barriers

This page was built for publication: The bounded functional interpretation of bar induction