Every countably presented formal topology is spatial, classically (Q5480621): Difference between revisions

@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal topologies on the set of first-order formulae
+Normal rank
@@ Property / cites work @@
+Q4132480
@@ Property / cites work: Q4132480 / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of the formalization of constructive topology
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural investigation on formal topology: coreflection of formal covers and exponentiability
+Normal rank
@@ Property / cites work @@
+An Intuitionistic Version of Cantor's Theorem
@@ Property / cites work: An Intuitionistic Version of Cantor's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank