Injecting uniformities into Peano arithmetic

DOI10.1016/j.apal.2008.09.004zbMath1203.03087OpenAlexW2057384151MaRDI QIDQ1006608

Fernando Ferreira

Publication date: 25 March 2009

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.2008.09.004

zbMATH Keywords

arithmeticconservationfunctional interpretationsuniformities

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items

A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω, Hardwiring truth in functional interpretations, Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic, A note on non-classical nonstandard arithmetic, Unnamed Item, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), The abstract type of the real numbers, A functional interpretation for nonstandard arithmetic, Metastability of the proximal point algorithm with multi-parameters, Weak König's lemma in Herbrandized classical second-order arithmetic, BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH, A Rate of Metastability for the Halpern Type Proximal Point Algorithm, On the removal of weak compactness arguments in proof mining, Nonstandardness and the bounded functional interpretation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
• 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
• Shoenfield is Gödel after Krivine
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces