Constructive theory of the lower power locale (Q4882493): Difference between revisions

@@ Property / author @@
+Marta C. Bunge
@@ Property / author: Marta C. Bunge / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive complete distributivity II
@@ Property / cites work: Constructive complete distributivity II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal operators on Heyting algebras
@@ Property / cites work: Modal operators on Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Atomless Parts of Spaces.
@@ Property / cites work: Atomless Parts of Spaces. / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129500000876
+Normal rank
@@ Property / OpenAlex ID @@
+W2112392897
@@ Property / OpenAlex ID: W2112392897 / rank @@
+Normal rank