Metric complements of overt closed sets (Q3170557): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3099142610
@@ Property / OpenAlex ID: W3099142610 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3433
@@ Property / arXiv ID: 0906.3433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive and functorial embedding of locally compact metric spaces into locales
+Normal rank
@@ Property / cites work @@
+Open sublocales of localic completions
@@ Property / cites work: Open sublocales of localic completions / 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 @@
+Locatedness and overt sublocales
@@ Property / cites work: Locatedness and overt sublocales / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701012
@@ Property / cites work: Q5701012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3170557