The bounded functional interpretation of bar induction
From MaRDI portal
Publication:435192
DOI10.1016/j.apal.2011.11.008zbMath1251.03067MaRDI QIDQ435192
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
03F10: Functionals in proof theory
03F35: Second- and higher-order arithmetic and fragments
03F50: Metamathematics of constructive systems
03F03: Proof theory in general (including proof-theoretic semantics)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item