A Topological Model for Intuitionistic Analysis with Kripke's Scheme

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,766

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2016-02-04

Downloads
24 (#478,710)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Foundations of Intuitionistic Mathematics.Stephen Cole Kleene - 1965 - Amsterdam: North-Holland Pub. Co..

Add more references

Similar books and articles

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.
Decidable Kripke Models of Intuitionistic Theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
Submodels of Kripke Models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
A Topological Model for Troelstra's System CS of Intuitionistic Analysis.Konrad Schultz - 1980 - Mathematical Logic Quarterly 26 (22‐24):349-354.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Intuitionistic Validity in T-Normal Kripke Structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
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.
Preservation Theorems for Kripke Models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.