Bounded functional interpretation and feasible analysis

DOI10.1016/J.APAL.2006.07.002MaRDI QIDQ866559zbMATH OpenOpenAlexFDO

Authors Fernando Ferreira, Paulo Oliva

Publication date 14 February 2007

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.2006.07.002

zbMATH Keywords

feasibilityfunctional interpretationmajorizabilityKönig's lemma

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Functionals in proof theory (03F10)

Recommendations

• Bounded functional interpretation
• On bounded functional interpretations
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
• Nonstandardness and the bounded functional interpretation
• Functional interpretations of feasibly constructive arithmetic

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 2236631 (Why is no real title available?)
• scientific article; zbMATH DE number 2236632 (Why is no real title available?)
• scientific article; zbMATH DE number 2236647 (Why is no real title available?)
• A feasible theory for analysis
• Asymmetric Interpretations for Bounded Theories
• Bounded functional interpretation
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Existence and feasibility in arithmetic
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• Functional interpretations of feasibly constructive arithmetic
• Groundwork for weak analysis
• Intuitionistische Untersuchungen der formalistischen Logik
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(18)

• Functional interpretations of linear and intuitionistic logic
• A feasible theory for analysis
• Reasonable extreme-bounds analysis
• The bounded functional interpretation of bar induction
• Confined modified realizability
• On bounded functional interpretations
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• scientific article; zbMATH DE number 176201 (Why is no real title available?)
• Nonstandardness and the bounded functional interpretation
• A note on the monotone functional interpretation
• Factorization of the Shoenfield-like bounded functional interpretation
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
• Weak König's lemma in Herbrandized classical second-order arithmetic
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• scientific article; zbMATH DE number 2236632 (Why is no real title available?)
• Functional interpretations of feasibly constructive arithmetic
• The bounded functional interpretation of the double negation shift
• Bounded functional interpretation

This page was built for publication: Bounded functional interpretation and feasible analysis

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