Shoenfield J. R.. Open sentences and the induction axiom

Journal of Symbolic Logic 27 (1):90-91 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963704

Links

PhilArchive



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

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

Open sentences and the induction axiom.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (1):7-12.
The joint embedding property in normal open induction.Margarita Otero - 1993 - Annals of Pure and Applied Logic 60 (3):275-290.
Independence results for variants of sharply bounded induction.Leszek Aleksander Kołodziejczyk - 2011 - Annals of Pure and Applied Logic 162 (12):981-990.
Introduction.Harvey M. Friedman - unknown
Maximum Schemes in Arithmetic.A. Fernández-Margarit & M. J. Pérez-Jiménez - 1994 - Mathematical Logic Quarterly 40 (3):425-430.
Decidability and Completeness for Open Formulas of Membership Theories.Dorella Bellè & Franco Parlamento - 1995 - Notre Dame Journal of Formal Logic 36 (2):304-318.
A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
The Induction Axiom and the Axiom of Choice.B. Germansky - 1961 - Mathematical Logic Quarterly 7 (11‐14):219-223.
The Induction Axiom and the Axiom of Choice.B. Germansky - 1961 - Mathematical Logic Quarterly 7 (11-14):219-223.
Review: B. Germansky, The Induction Axiom and the Axiom of Choice. [REVIEW]Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
Germansky B.. The induction axiom and the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 219–223. [REVIEW]Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
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.
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.
A Note on Subsystems of Open Induction.Shahram Mohsenipour - 2007 - Journal of Symbolic Logic 72 (4):1318 - 1322.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.

Analytics

Added to PP
2013-11-03

Downloads
20 (#767,424)

6 months
4 (#790,339)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references