A Palatable Substitute for Kripke's Schema

, &
Journal of Symbolic Logic 39 (2):334-334 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272660

Other Versions

No versions found

Links

PhilArchive

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

The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
Indecomposability of negative dense subsets of ℝ in Constructive Reverse Mathematics.Iris Loeb - 2009 - Logic Journal of the IGPL 17 (2):173-177.
The use of Kripke's schema as a reduction principle.D. van Dalen - 1977 - Journal of Symbolic Logic 42 (2):238-240.
About Kripke's schema and countable subsets.Peters Schuster & Julia Zappe - 2008 - Logique Et Analyse 204:317-329.
Über das Kripke-Schema und abzählbare Teilmengen.Peter Schuster & JÚlia Zappe - 2008 - Logique Et Analyse 51.
Is Kripke's puzzle really a puzzle?J. Angelo Corlett - 1989 - Theoria 55 (2):95-113.
A challenge to the kripke/putnam distinction between epistemic and metaphysical necessity.Brian MacPherson - 1997 - Southwest Philosophy Review 13 (2):113--128.

Analytics

Added to PP
2015-02-05

Downloads
33 (#1,530,670)

6 months
10 (#1,124,960)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionism in mathematics.Bruno Bentzen - 2025 - Internet Encyclopedia of Philosophy.
Analyzing realizability by Troelstra's methods.Joan Rand Moschovakis - 2002 - Annals of Pure and Applied Logic 114 (1-3):203-225.
More on Brouwer's refutations.Philip Scowcroft - 1989 - Annals of Pure and Applied Logic 41 (1):83-91.

Add more citations

References found in this work

No references found.

Add more references