Open sentences and the induction axiom

Journal of Symbolic Logic 23 (1):7-12 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964452

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

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

Shoenfield J. R.. Open sentences and the induction axiom.Hartley Rogers - 1962 - Journal of Symbolic Logic 27 (1):90-91.
Review: J. R. Shoenfield, On the Independence of the Axiom of Constructibility. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):355-355.
Shoenfield J. R.. On the independence of the axiom of constructibility. American journal of mathematics, vol. 81 , pp. 537–840. [REVIEW]Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (4):355-355.
Review: J. R. Shoenfield, The Form of the Negation of a Predicate. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.
Review: J. R. Shoenfield, The Problem of Predicativity. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 34 (3):515-515.
Review: J. R. Shoenfield, Quasicreative Sets. [REVIEW]A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-166.
Review: J. R. Shoenfield, On a Restricted $omega$-Rule. [REVIEW]Robert DiPaola - 1969 - Journal of Symbolic Logic 34 (1):130-131.
Review: J. R. Shoenfield, A Theorem on Minimal Degrees. [REVIEW]A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (4):529-529.
Review: J. R. Shoenfield, The Class of Recursive Functions. [REVIEW]Paul Axt - 1959 - Journal of Symbolic Logic 24 (3):238-239.

Analytics

Added to PP
2009-01-28

Downloads
42 (#558,368)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Induction and Skolemization in saturation theorem proving.Stefan Hetzl & Jannik Vierling - 2023 - Annals of Pure and Applied Logic 174 (1):103167.
Quantifier-free induction for lists.Stefan Hetzl & Jannik Vierling - 2024 - Archive for Mathematical Logic 63 (7):813-835.
Diophantine equations in fragments of arithmetic.Ulf R. Schmerl - 1988 - Annals of Pure and Applied Logic 38 (2):135-170.

Add more citations

References found in this work

No references found.

Add more references