Journal of Symbolic Logic 56 (3):1101 (1991)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275086
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,199
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

View all 42 citations / Add more citations

Similar books and articles

Review: Steven Vickers, Topology Via Logic. [REVIEW]P. T. Johnstone - 1991 - Journal of Symbolic Logic 56 (3):1101-1102.
Cosheaves and Connectedness in Formal Topology.Steven Vickers - 2012 - Annals of Pure and Applied Logic 163 (2):157-174.
Philosophical Topology: A Method or a New Branch in Philosophy?Yi Jiang - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:59-74.
On the Formal Points of the Formal Topology of the Binary Tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Fuzzy Topology Representation for MV‐Algebras.Jialu Zhang & Quanfa Chen - 2009 - Mathematical Logic Quarterly 55 (3):259-270.
Remarks on Elementary Duality.Mike Prest - 1993 - Annals of Pure and Applied Logic 62 (2):183-205.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.
Topology as an Issue for History of Philosophy of Science.Thomas Mormann - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer. pp. 423--434.
Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Type-Definable and Invariant Groups in O-Minimal Structures.Jana Maříková - 2007 - Journal of Symbolic Logic 72 (1):67 - 80.
A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
The Topology of Justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.

Analytics

Added to PP index
2016-06-30

Total views
9 ( #954,245 of 2,517,922 )

Recent downloads (6 months)
1 ( #409,045 of 2,517,922 )

How can I increase my downloads?

Downloads

My notes