Bounded functional interpretation and feasible analysis
From MaRDI portal
Publication:866559
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
First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)
Related Items (4)
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
This page was built for publication: Bounded functional interpretation and feasible analysis
