Switch to: References

Citations of:

An Intuitionistic Version of Cantor's Theorem

Dario Maguolo & Silvio Valentini

Mathematical Logic Quarterly 42 (1):446-448 (1996)

Add citations

You must login to add citations.

Every countably presented formal topology is spatial, classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.details By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial. Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Topology in Philosophy of Mathematics Direct download (6 more) Export citation Bookmark 6 citations

1