Bounded functional interpretation and feasible analysis

DOI10.1016/j.apal.2006.07.002zbMath1112.03052OpenAlexW2135734418MaRDI QIDQ866559

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) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

Related Items

The FAN principle and weak König's lemma in Herbrandized second-order arithmetic, On bounded functional interpretations, Functional interpretations of linear and intuitionistic logic, Confined modified realizability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functional interpretations of feasibly constructive arithmetic
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• 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
• Bounded functional interpretation
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• Groundwork for weak analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• A feasible theory for analysis
• Asymmetric Interpretations for Bounded Theories
• Existence and feasibility in arithmetic
• Intuitionistische Untersuchungen der formalistischen Logik