A Topological Model for Intuitionistic Analysis with Kripke's Scheme

Mathematical Logic Quarterly 24 (25‐30):427-436 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780242507

Other Versions

reprint Krol, M. D. (1978) "A Topological Model for Intuitionistic Analysis with Kripke's Scheme". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24(25-30):427-436

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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: 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. [REVIEW]Joan Rand Moschovakis - 1981 - Journal of Symbolic Logic 46 (3):660-661.
A Topological Model for Troelstra's System CS of Intuitionistic Analysis.Konrad Schultz - 1980 - Mathematical Logic Quarterly 26 (22‐24):349-354.
Counterexamples in intuitionistic analysis using kripke's schema.Richard G. Hull - 1969 - Mathematical Logic Quarterly 15 (16-18):241-246.
A model of intuitionistic analysis in which ø-definable discrete sets are subcountable.Philip Scowcroft - 2016 - Mathematical Logic Quarterly 62 (3):258-277.
Undecidability of the Real-Algebraic Structure of Scott's Model.Miklós Erdélyi-Szabó - 1998 - Mathematical Logic Quarterly 44 (3):344-348.
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.Miklós Erdélyi-Szabó - 2000 - Journal of Symbolic Logic 65 (3):1014-1030.
Some purely topological models for intuitionistic analysis.Philip Scowcroft - 1999 - Annals of Pure and Applied Logic 98 (1-3):173-215.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Mathematical Logic Quarterly 18 (4‐6):49-54.
Algebraic Analysis of the Topological Logic L(I).George Georgescu - 1982 - Mathematical Logic Quarterly 28 (27‐32):447-454.

Analytics

Added to PP
2013-11-24

Downloads
20 (#1,119,193)

6 months
6 (#695,703)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.
Separating fragments of wlem, lpo, and mp.Matt Hendtlass & Robert Lubarsky - 2016 - Journal of Symbolic Logic 81 (4):1315-1343.
Some purely topological models for intuitionistic analysis.Philip Scowcroft - 1999 - Annals of Pure and Applied Logic 98 (1-3):173-215.

View all 9 citations / Add more citations

References found in this work

Add more references