Nonstandardness and the bounded functional interpretation

DOI10.1016/J.APAL.2015.02.001MaRDI QIDQ2344622zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

bounded functional interpretationfunctional interpretationsmajorizabilitynonstandard arithmetic

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• Bounded functional interpretation and feasible analysis
• Bounded functional interpretation
• A functional interpretation for nonstandard arithmetic
• On bounded functional interpretations

Cites work

• A functional interpretation for nonstandard arithmetic
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounded functional interpretation
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Injecting uniformities into Peano arithmetic
• Internal set theory: A new approach to 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
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• The syntax of nonstandard analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(20)

• Injecting uniformities into Peano arithmetic
• Factorization of the Shoenfield-like bounded functional interpretation
• Transfer principles in nonstandard intuitionistic arithmetic
• Reverse mathematics and parameter-free transfer
• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• Proof mining and effective bounds in differential polynomial rings
• A note on non-classical nonstandard arithmetic
• Nonstandard functional interpretations and categorical models
• Reverse formalism 16
• Bounded functional interpretation
• A parametrised functional interpretation of Heyting arithmetic
• Weyl and Intuitionistic Infinitesimals
• The bounded functional interpretation of the double negation shift
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
• Computability theory, nonstandard analysis, and their connections
• Hardwiring truth in functional interpretations
• Stateful Realizers for Nonstandard Analysis
• A functional interpretation for nonstandard arithmetic
• Bounded functional interpretation and feasible analysis
• Nonstandard definability

This page was built for publication: Nonstandardness and the bounded functional interpretation

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