How connected is the intuitionistic continuum?

Journal of Symbolic Logic 62 (4):1147-1150 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Intuitionistic modal logics incompatible with the law of the excluded middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
The continuum and first-order intuitionistic logic.D. van Dalen - 1992 - Journal of Symbolic Logic 57 (4):1417-1424.
An application of Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1985 - Studia Logica 44 (1):79 - 85.
Reducibilities in intuitionistic topology.Dirk Van Dalen - 1968 - Journal of Symbolic Logic 33 (3):412-417.
Hermann Weyl's intuitionistic mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.
How Connected is the Intuitionistic Continuum?Dirk Van Dalen - 1997 - Journal of Symbolic Logic 62 (4):1147 - 1150.

Analytics

Added to PP
2009-01-28

Downloads
70 (#228,790)

6 months
19 (#130,585)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dirk Van Dalen
Utrecht University

Citations of this work

Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.
The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
Presences of the Infinite: J.M. Coetzee and Mathematics.Peter Johnston - 2013 - Dissertation, Royal Holloway, University of London

Add more citations

References found in this work

No references found.

Add more references