The bounded functional interpretation of bar induction
From MaRDI portal
Publication:435192
DOI10.1016/J.APAL.2011.11.008zbMATH Open1251.03067OpenAlexW1988440870MaRDI QIDQ435192FDOQ435192
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
Proof theory in general (including proof-theoretic semantics) (03F03) Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35) Functionals in proof theory (03F10)
Cites Work
- Title not available (Why is that?)
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Title not available (Why is that?)
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Bounded functional interpretation
- Title not available (Why is that?)
- The bounded functional interpretation of the double negation shift
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logical Approaches to Computational Barriers
Cited In (5)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
- Title not available (Why is that?)
- A logical analysis of the generalized Banach contractions principle
- A formalization of Brouwer's argument for bar induction
This page was built for publication: The bounded functional interpretation of bar induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435192)
