On the optimality of conservation results for local reflection in arithmetic

DOI10.2178/JSL.7804010MaRDI QIDQ5407039zbMATH OpenOpenAlexFDO

Authors Andrés Cordón-Franco, Alejandro Fernández Margarit, F. Félix Lara Martin

Publication date 4 April 2014

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1388953992, https://idus.us.es/handle//11441/106903

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30)

Recommendations

• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• Reflection principles and provability algebras in formal arithmetic
• Conservation results for parameter-free _n-induction
• Local induction and provably total computable functions

Cited in

(2)

• Local reflection, definable elements and 1-provability
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories

This page was built for publication: On the optimality of conservation results for local reflection in arithmetic

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