Review: M. D. Krol, The Topological Models of Intuitionistic Analysis. One Counterexample; M. D. Krol, A Topological Model for Intuitionistic Analysis with Kripke's Scheme; M. D. Krol', B. F. Wells, Distinct Variants of Kripke's Schema in Intuitionistic Analysis [Book Review]

Journal of Symbolic Logic 46 (3):660-661 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273765

Links

PhilArchive



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

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 Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.
Some purely topological models for intuitionistic analysis.Philip Scowcroft - 1999 - Annals of Pure and Applied Logic 98 (1-3):173-215.
The Topological Models of Intuitionistic Analysis. One Counterexample.M. D. Krol & B. F. Wells - 1981 - Journal of Symbolic Logic 46 (3):660-661.
Counterexamples in intuitionistic analysis using kripke's schema.Richard G. Hull - 1969 - Mathematical Logic Quarterly 15 (16-18):241-246.
A Topological Model for Troelstra's System CS of Intuitionistic Analysis.Konrad Schultz - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):349-354.
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.Jennifer M. Davoren - 2010 - Annals of Pure and Applied Logic 161 (3):349-367.
Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
Glueing of analysis models in an intuitionistic setting.D. Dalen - 1986 - Studia Logica 45 (2):181 - 186.
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic.Robert E. Kirk - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):409-410.
A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):137-167.
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.P. H. Rodenburg - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):357-362.
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.H. de Swart - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):289-298.
Counterexamples in intuitionistic analysis using kripke's schema.Richard G. Hull - 1969 - Mathematical Logic Quarterly 15 (16‐18):241-246.
Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.

Analytics

Added to PP
2013-11-22

Downloads
23 (#679,329)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joan Rand Moschovakis
Occidental College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references