Completely regular proper reflection of locales over a given locale (Q4908255): Difference between revisions

@@ Property / cites work @@
+Q3322099
@@ Property / cites work: Q3322099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3927875
@@ Property / cites work: Q3927875 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactification of Frames
@@ Property / cites work: Compactification of Frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994000
@@ Property / cites work: Q3994000 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+A note on stably closed maps of locales
@@ Property / cites work: A note on stably closed maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of toposes
@@ Property / cites work: Proper maps of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+A note on proper maps of locales
@@ Property / cites work: A note on proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive proof of the Gelfand--Kolmogorov theorem
+Normal rank