A constructive Galois connection between closure and interior (Q4899177): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963269185
@@ Property / OpenAlex ID: W2963269185 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5896
@@ Property / arXiv ID: 1101.5896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+On CLOSED SUBSETS OF THE INTUITIONISTIC REALS
@@ Property / cites work: On CLOSED SUBSETS OF THE INTUITIONISTIC REALS / 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 @@
+Formal topologies on the set of first-order formulae
+Normal rank
@@ Property / cites work @@
+The overlap algebra of regular opens
@@ Property / cites work: The overlap algebra of regular opens / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank