The principle of open induction and Specker sequences

&
Logic Journal of the IGPL 25 (2):232-238 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzw064

Links

PhilArchive



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

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

Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
Specker sequences revisited.Jakob G. Simonsen - 2005 - Mathematical Logic Quarterly 51 (5):532-540.
Intuitionistic Open Induction and Least Number Principle and the Buss Operator.Mohammad Ardeshir & Mojtaba Moniri - 1998 - Notre Dame Journal of Formal Logic 39 (2):212-220.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
The joint embedding property in normal open induction.Margarita Otero - 1993 - Annals of Pure and Applied Logic 60 (3):275-290.
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.
A Recursive Nonstandard Model Of Normal Open Induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (3):1228-1241.
Fool me once: Can indifference vindicate induction?Zach Barnett & Han Li - 2018 - Episteme 15 (2):202-208.
A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
An induction principle and pigeonhole principles for k-finite sets.Andreas Blass - 1995 - Journal of Symbolic Logic 60 (4):1186-1193.
Counter-induction.John L. Pollock - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):284 – 294.
The uniformity of nature.Wesley C. Salmon - 1953 - Philosophy and Phenomenological Research 14 (1):39-48.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
A Note on Subsystems of Open Induction.Shahram Mohsenipour - 2007 - Journal of Symbolic Logic 72 (4):1318 - 1322.
The Meaning of the Concept of Probability in Application to Finite Sequences.Hilary Putnam - 1990 - Routledge.

Analytics

Added to PP
2017-06-26

Downloads
15 (#868,066)

6 months
5 (#441,012)

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

The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.

Add more references