Some Results on LΔmath image

&
Mathematical Logic Quarterly 47 (4):503-512 (2001)
  Copy   BIBTEX

Abstract

We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200111)47:4<503::aid-malq503>3.0.co;2-n

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

Some Results on LΔ — n+1.Alejandro Fernández Margarit & F. Félix Lara Martin - 2001 - Mathematical Logic Quarterly 47 (4):503-512.
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.
On the quantifier complexity of Δ n+1 (T)– induction.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (3):371-398.
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.
Induction, minimization and collection for Δ n+1 (T)–formulas.A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (4):505-541.
Infinite games in the Cantor space and subsystems of second order arithmetic.Takako Nemoto, MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Mathematical Logic Quarterly 53 (3):226-236.
On the Optimality of Conservation Results for Local Reflection in Arithmetic.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2013 - Journal of Symbolic Logic 78 (4):1025-1035.
On Overspill Principles and Axiom Schemes for Bounded Formulas.Joaquín Borrego-Díaz, Alejandro Fernández-Margarit & Mario Pérez-Jiménez - 1996 - Mathematical Logic Quarterly 42 (1):341-348.
Transfinite induction within Peano arithmetic.Richard Sommer - 1995 - Annals of Pure and Applied Logic 76 (3):231-289.
Envelopes, indicators and conservativeness.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2006 - Mathematical Logic Quarterly 52 (1):51-70.
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.
On axiom schemes for T-provably $${\Delta_{1}}$$ Δ 1 formulas.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2014 - Archive for Mathematical Logic 53 (3-4):327-349.
Strengths and Weaknesses of LH Arithmetic.Chris Pollett & Randall Pruim - 2002 - Mathematical Logic Quarterly 48 (2):221-243.
Weak forms of the Regularity Principle in the presence of equation image.Charalampos Cornaros - 2013 - Mathematical Logic Quarterly 59 (1-2):84-100.
A note on parameter free N1-induction and restricted exponentiation.Andrés Cordón Franco, Alejandro Fernández Margarit & F. F. Lara Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.

Analytics

Added to PP
2017-02-17

Downloads
8 (#1,237,933)

6 months
1 (#1,428,112)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references