A constructive and functorial embedding of locally compact metric spaces into locales (Q881455): Difference between revisions

@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184832
@@ Property / cites work: Q4184832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representability of metric spaces
@@ Property / cites work: Domain representability of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+From Sets and Types to Topology and Analysis
@@ Property / cites work: From Sets and Types to Topology and Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On the collection of points of a formal space
@@ Property / cites work: On the collection of points of a formal space / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing in intuitionistic systems without power-set
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477360
@@ Property / cites work: Q5477360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718569
@@ Property / cites work: Q5718569 / rank @@
+Normal rank
@@ Property / cites work @@
+From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
+Normal rank
@@ Property / cites work @@
+Regular universes and formal spaces
@@ Property / cites work: Regular universes and formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701012
@@ Property / cites work: Q5701012 / rank @@
+Normal rank
@@ Property / cites work @@
+Localic completion of generalized metric spaces II: Powerlocales
+Normal rank