The bounded functional interpretation of bar induction

DOI10.1016/J.APAL.2011.11.008MaRDI QIDQ435192zbMATH OpenOpenAlexFDO

Authors 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

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)

Recommendations

• On bounded functional interpretations
• Bounded functional interpretation
• The bounded functional interpretation of the double negation shift
• Functional interpretation and inductive definitions
• Bounded functional interpretation and feasible analysis

Cites work

• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• scientific article; zbMATH DE number 3259893 (Why is no real title available?)
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounded functional interpretation
• Logical Approaches to Computational Barriers
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Proof interpretations and majorizability
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• The bounded functional interpretation of the double negation shift
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(6)

• 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
• scientific article; zbMATH DE number 7297814 (Why is no real title available?)
• A logical analysis of the generalized Banach contractions principle
• A formalization of Brouwer's argument for bar induction
• The bounded functional interpretation of the double negation shift

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)