Every countably presented formal topology is spatial, classically

Journal of Symbolic Logic 71 (2):491-500 (2006)
Abstract
By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1146620155
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,751
Through your library
References found in this work BETA
Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
The Problem of the Formalization of Constructive Topology.Silvio Valentini - 2004 - Archive for Mathematical Logic 44 (1):115-129.
An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.

Add more references

Citations of this work BETA
Constructive Characterizations of Bar Subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.
Cantor Theorem and Friends, in Logical Form.Silvio Valentini - 2013 - Annals of Pure and Applied Logic 164 (4):502-508.

Add more citations

Similar books and articles
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
Reverse Mathematics and Π21 Comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.
Topology Change and the Unity of Space.C. Callender & R. Weingard - 2000 - Studies in History and Philosophy of Science Part B 31 (2):227-246.
The Axiom of Choice in Topology.Norbert Brunner - 1983 - Notre Dame Journal of Formal Logic 24 (3):305-317.
Nisza.Barry Smith & Achille C. Varzi - 2000 - Filozofia Nauki 3 (3-4):5–30.
The Niche.Barry Smith & Achille C. Varzi - 1999 - Noûs 33 (2):214-238.
Philosophical Topology.Yi Jiang - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:59-74.
Analytic Countably Splitting Families.Otmar Spinas - 2004 - Journal of Symbolic Logic 69 (1):101-117.

Monthly downloads

Added to index

2010-08-24

Total downloads

13 ( #340,430 of 2,146,802 )

Recent downloads (6 months)

1 ( #386,101 of 2,146,802 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums