Note on an induction axiom

Journal of Symbolic Logic 43 (1):113-117 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271953

Links

PhilArchive



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

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

Axiomatic theory of enumeration: A note on the axiom of extensionality.P. L. Ferrari - 1978 - Studia Logica 37 (3):261-268.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
On parameter free induction schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
Open sentences and the induction axiom.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (1):7-12.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q.Dan E. Willard - 2002 - Journal of Symbolic Logic 67 (1):465-496.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
A note on the redundant axiom of principia mathematica.Peter Nidditch - 1960 - Mind 69 (274):251-252.
A note on exponentiation.Ch Cornaros & C. Dimitracopoulos - 1993 - Journal of Symbolic Logic 58 (1):64-71.

Analytics

Added to PP
2009-01-28

Downloads
38 (#419,226)

6 months
8 (#359,856)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Paris
University of Manchester

Citations of this work

Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.

Add more citations

References found in this work

No references found.

Add more references