On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology (Q636295): Difference between revisions

@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+Q5718570
@@ Property / cites work: Q5718570 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Aspects of Radical Ideals and Choice Principles
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / 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 @@
+Exact approximations to Stone-Čech compactification
+Normal rank
@@ Property / cites work @@
+Atomless Parts of Spaces.
@@ Property / cites work: Atomless Parts of Spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+A ‘ T1’ space with no closed points, and a “ T1” locale which is not ‘ T1 ’
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal and partial points in formal spaces
@@ Property / cites work: Maximal and partial points in formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310884
@@ Property / cites work: Q5310884 / rank @@
+Normal rank
@@ Property / cites work @@
+T1-locales
@@ Property / cites work: T1-locales / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive metrisability in point-free topology.
+Normal rank
@@ Property / cites work @@
+The lattice theoretic part of topological separation properties
+Normal rank
@@ Property / cites work @@
+Q5613067
@@ Property / cites work: Q5613067 / rank @@
+Normal rank