Maximum Schemes in Arithmetic

&
Mathematical Logic Quarterly 40 (3):425-430 (1994)
  Copy   BIBTEX

Abstract

In this paper we deal with some new axiom schemes for Peano's Arithmetic that can substitute the classical induction, least-element, collection and strong collection schemes in the description of PA

Categories

Keywords

Reprint years

DOI

10.1002/malq.19940400312

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,319

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

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.
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):327-349.
Axiom schemes for m-valued functional calculi of first order: Part I. definition of axiom schemes and proof of plausibility.J. B. Rosser & A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (4):177-192.
Axiom Schemes for m-Valued Functional Calculi of First Order. Part I. Definition of Axiom Schemes and Proof of Plausibility.J. B. Rosser & A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):259-260.
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.
The Theory of $\kappa$ -like Models of Arithmetic.Richard Kaye - 1995 - Notre Dame Journal of Formal Logic 36 (4):547-559.
Some Results on LΔ — n+1.Alejandro Fernández Margarit & F. Félix Lara Martin - 2001 - Mathematical Logic Quarterly 47 (4):503-512.
A note on a theorem of Kanovei.Roman Kossak - 2004 - Archive for Mathematical Logic 43 (4):565-569.
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable.J. G. Anderson - 1972 - Mathematical Logic Quarterly 18 (8-11):113-130.
The Role of the Axiom of Induction in Elementary Arithmetic.C. Ryll-Nardzewski - 1954 - Journal of Symbolic Logic 19 (4):287-288.

Analytics

Added to PP
2013-12-01

Downloads
29 (#624,574)

6 months
4 (#1,474,081)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Alonso Fernandez
Universidad Panamericana Sede México
Martha Perez

Citations of this work

No citations found.

Add more citations

References found in this work

Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.

Add more references