Injecting uniformities into Peano arithmetic

DOI10.1016/J.APAL.2008.09.004MaRDI QIDQ1006608zbMATH OpenOpenAlexFDO

Authors 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

conservationarithmeticfunctional interpretationsuniformities

Mathematics Subject Classification ID

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

Recommendations

• Bounded functional interpretation
• Nonstandardness and the bounded functional interpretation
• Functional interpretations of feasibly constructive arithmetic
• scientific article; zbMATH DE number 1215497
• A functional interpretation for nonstandard arithmetic

Cites work

• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 47172 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
• A logical uniform boundedness principle for abstract metric and hyperbolic spaces
• Bounded functional interpretation
• 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
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Shoenfield is Gödel after Krivine
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(15)

• Nonstandardness and the bounded functional interpretation
• A Rate of Metastability for the Halpern Type Proximal Point Algorithm
• An Effective Conservation Result for Nonstandard Arithmetic
• Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
• A functional interpretation for nonstandard arithmetic
• scientific article; zbMATH DE number 7470545 (Why is no real title available?)
• Weak König's lemma in Herbrandized classical second-order arithmetic
• The abstract type of the real numbers
• On the removal of weak compactness arguments in proof mining
• Metastability of the proximal point algorithm with multi-parameters
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
• Hardwiring truth in functional interpretations
• A note on non-classical nonstandard arithmetic

This page was built for publication: Injecting uniformities into Peano arithmetic

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