Some Results on LΔ — n+1

&
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

Keywords

Reprint years

DOI

10.1002/1521-3870(200111)47:4

Links

PhilArchive



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

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

La descente infinie, l’induction transfinie et le tiers exclu.Yvon Gauthier - 2009 - Dialogue 48 (1):1.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
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.
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.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Independence results for weak systems of intuitionistic arithmetic.Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (3):250.
Dynamic ordinal analysis.Arnold Beckmann - 2003 - Archive for Mathematical Logic 42 (4):303-334.
Kreisel's Conjecture with minimality principle.Pavel Hrubeš - 2009 - Journal of Symbolic Logic 74 (3):976-988.
Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.
Uniqueness, collection, and external collapse of cardinals in ist and models of peano arithmetic.V. Kanovei - 1995 - Journal of Symbolic Logic 60 (1):318-324.
The shortest definition of a number in Peano arithmetic.Dev K. Roy - 2003 - Mathematical Logic Quarterly 49 (1):83-86.
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.

Analytics

Added to PP
2013-12-01

Downloads
35 (#469,136)

6 months
15 (#184,405)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Felicity Martin
University of Sydney

Citations of this work

Add more citations

References found in this work

No references found.

Add more references