On the Optimality of Conservation Results for Local Reflection in Arithmetic

DOI10.2178/JSL.7804010zbMath1316.03036OpenAlexW2133781218MaRDI QIDQ5407039

Andrés Cordón-Franco, F. F. Lara-Martín, A. Fernández-Margarit

Publication date: 4 April 2014

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1388953992

Mathematics Subject Classification ID

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

Related Items (1)

Local reflection, definable elements and 1-provability

This page was built for publication: On the Optimality of Conservation Results for Local Reflection in Arithmetic