A Note on Subsystems of Open Induction

Journal of Symbolic Logic 72 (4):1318 - 1322 (2007)
  Copy   BIBTEX

Abstract

We completely characterize the logical hierarchy of subsystems of open induction introduced by Boughattas [1]

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1203350788

Links

PhilArchive



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

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

A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.Juliette Kennedy & Roman Kossak (eds.) - 2011 - Cambridge University Press.
The role of parameters in bar rule and bar induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
A note on Goodman's theorem.Ulrich Kohlenbach - 1999 - Studia Logica 63 (1):1-5.
A note on classification of maximal systems and their subsystems.J. A. Chadwick - 1929 - Mind 38 (152):533-534.
Note on Induction.Ted Parent - 2013 - Think 12 (33):37-39.
Quadratic forms in normal open induction.Margarita Otero - 1993 - Journal of Symbolic Logic 58 (2):456-476.
A note on induction.R. J. Spilsbury - 1949 - Mind 58 (230):215-217.
Fixed versus flexible features in dissociable neural processing subsystems.E. Darcy Burgund & Chad J. Marsolek - 1998 - Behavioral and Brain Sciences 21 (1):21-22.
The dependence of lorentz boost generators on the presence and nature of interactions.Gordon N. Fleming - unknown
Constructible models of subsystems of ZF.Richard Gostanian - 1980 - Journal of Symbolic Logic 45 (2):237-250.
Open sentences and the induction axiom.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (1):7-12.
A note on the problem of induction.Paul K. Feyerabend - 1964 - Journal of Philosophy 61 (12):349-353.
Note on an induction axiom.J. B. Paris - 1978 - Journal of Symbolic Logic 43 (1):113-117.

Analytics

Added to PP
2010-08-24

Downloads
34 (#470,159)

6 months
9 (#308,527)

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