Injecting uniformities into Peano arithmetic
From MaRDI portal
Publication:1006608
DOI10.1016/j.apal.2008.09.004zbMath1203.03087OpenAlexW2057384151MaRDI QIDQ1006608
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
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