Counterexamples in intuitionistic analysis using kripke's schema

Mathematical Logic Quarterly 15 (16-18):241-246 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19690151601

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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

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.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.
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 New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Mathematical Logic Quarterly 23 (7‐12):137-167.
A Topological Model for Troelstra's System CS of Intuitionistic Analysis.Konrad Schultz - 1980 - Mathematical Logic Quarterly 26 (22‐24):349-354.
A short proof of a well‐known theorem of intuitionistic analysis.Horst Luckhardt - 1975 - Mathematical Logic Quarterly 21 (1):185-186.
On a Possible Misinterpretation of Kripke's Semantics for Intuitionistic Logic.Allen Hazen - 1982 - Analysis 42 (3):128 - 133.
Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.

Analytics

Added to PP
2013-11-24

Downloads
67 (#317,789)

6 months
9 (#511,775)

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.

Add more citations

References found in this work

No references found.

Add more references