On the Optimality of Conservation Results for Local Reflection in Arithmetic

, &
Journal of Symbolic Logic 78 (4):1025-1035 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl.7804010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Strict $${\Pi^1_1}$$ -reflection in bounded arithmetic.António M. Fernandes - 2010 - Archive for Mathematical Logic 49 (1):17-34.
A note on parameter free Π1 -induction and restricted exponentiation.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
Some Results on LΔ — n+1.Alejandro Fernández Margarit & F. Félix Lara Martin - 2001 - Mathematical Logic Quarterly 47 (4):503-512.
Injecting uniformities into Peano arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.
Local induction and provably total computable functions.Andrés Cordón-Franco & F. Félix Lara-Martín - 2014 - Annals of Pure and Applied Logic 165 (9):1429-1444.
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.
Fragments of Arithmetic and true sentences.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2005 - Mathematical Logic Quarterly 51 (3):313-328.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
A note on some extension results.Franco Montagna & Giovanni Sommaruga - 1990 - Studia Logica 49 (4):591 - 600.
On some formalized conservation results in arithmetic.P. Clote, P. Hájek & J. Paris - 1990 - Archive for Mathematical Logic 30 (4):201-218.
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
“Because the project is helping us to improve our lives, we also help them with conservation”: integrated conservation and development in the Kangchenjunga Conservation Area, Nepal.U. Müller, G. Gurung, M. Kollmair & U. Müller-Böker - 2008 - In .
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Some More Conservation Results on the Baire Category Theorem.Takeshi Yamazaki - 2000 - Mathematical Logic Quarterly 46 (1):105-110.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,198,034)

6 months
4 (#797,974)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Andrés Cordón
Universidad de Sevilla
Felicity Martin
University of Sydney
Alonso Fernandez
Universidad Panamericana Sede México

Citations of this work

Local reflection, definable elements and 1-provability.Evgeny Kolmakov - 2020 - Archive for Mathematical Logic 59 (7-8):979-996.

Add more citations

References found in this work

Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Proof-theoretic analysis by iterated reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.

View all 9 references / Add more references