Nonstandardness and the bounded functional interpretation
From MaRDI portal
Publication:2344622
DOI10.1016/j.apal.2015.02.001zbMath1382.03079OpenAlexW1993960522MaRDI QIDQ2344622
Fernando Ferreira, Jaime Gaspar
Publication date: 15 May 2015
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.2015.02.001
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)
Related Items (10)
Reverse mathematics and parameter-free transfer ⋮ A parametrised functional interpretation of Heyting arithmetic ⋮ Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic ⋮ Stateful Realizers for Nonstandard Analysis ⋮ Intuitionistic nonstandard bounded modified realisability and functional interpretation ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ A note on non-classical nonstandard arithmetic ⋮ Weyl and Intuitionistic Infinitesimals ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Reverse formalism 16
Cites Work
- Unnamed Item
- Unnamed Item
- A functional interpretation for nonstandard arithmetic
- Injecting uniformities into Peano arithmetic
- The syntax of nonstandard analysis
- 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
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Internal set theory: A new approach to nonstandard analysis
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
This page was built for publication: Nonstandardness and the bounded functional interpretation
