Overlap Algebras as Almost Discrete Locales (Q6137844): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-19(4:21)2023
@@ Property / DOI: 10.46298/lmcs-19(4:21)2023 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2264357731
@@ Property / OpenAlex ID: W2264357731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216305
@@ Property / cites work: Q5216305 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular opens in constructive topology and a representation theorem for overlap algebras
+Normal rank
@@ Property / cites work @@
+Constructive version of Boolean algebra
@@ Property / cites work: Constructive version of Boolean algebra / rank @@
+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 @@
+On some peculiar aspects of the constructive theory of point-free spaces
+Normal rank
@@ Property / cites work @@
+Q3711309
@@ Property / cites work: Q3711309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3820598
@@ Property / cites work: Q3820598 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / rank @@
+Normal rank
@@ Property / cites work @@
+Q3539847
@@ Property / cites work: Q3539847 / rank @@
+Normal rank
@@ Property / cites work @@
+Frames and Locales
@@ Property / cites work: Frames and Locales / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525542
@@ Property / cites work: Q4525542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392789
@@ Property / cites work: Q3392789 / rank @@
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-19(4:21)2023
@@ Property / DOI: 10.46298/LMCS-19(4:21)2023 / rank @@
+Normal rank