Bounded functional interpretation and feasible analysis
From MaRDI portal
Publication:866559
DOI10.1016/j.apal.2006.07.002zbMath1112.03052MaRDI 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
03F30: First-order arithmetic and fragments
03F10: Functionals in proof theory
03F35: Second- and higher-order arithmetic and fragments
Related Items
On bounded functional interpretations, Functional interpretations of linear and intuitionistic logic, The FAN principle and weak König's lemma in Herbrandized second-order arithmetic, 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
