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

Links

PhilArchive



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

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

Review: R. E. Vesley, A. Kino, J. Myhill, A Palatable Substitute for Kripke's Schema. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
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.
Induction Schemata Valid In Kripke Models Of Arithmetical Theories.Tomasz Polacik - 1999 - Reports on Mathematical Logic:111-125.
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.
Counterexamples in intuitionistic analysis using kripke's schema.Richard G. Hull - 1969 - Mathematical Logic Quarterly 15 (16‐18):241-246.
Ü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.
Schema.John Corcoran - 2008 - Stanford Encyclopedia of Philosophy.
Review: Charles Parsons, A. Kino, J. Myhill, R. E. Vesley, On a Number Theoretic Choice Schema and its Relation to Induction; Charles Parsons, Review of the Foregoing; Charles Parsons, On $n$-Quantifier Induction. [REVIEW]Helmut Schwichtenberg - 1974 - Journal of Symbolic Logic 39 (2):342-342.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
Kripke models and the (in)equational logic of the second-order λ-calculus.Jean Gallier - 1997 - Annals of Pure and Applied Logic 84 (3):257-316.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,595,600)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

More on brouwer's refutations.Philip Scowcroft - 1989 - Annals of Pure and Applied Logic 41 (1):83-91.
Analyzing realizability by Troelstra's methods.Joan Rand Moschovakis - 2002 - Annals of Pure and Applied Logic 114 (1-3):203-225.

Add more citations

References found in this work

No references found.

Add more references