Constructive complete distributivity. I (Q3469144): Difference between revisions

@@ Property / author @@
-Richard J. Wood
@@ Property / author: Richard J. Wood / rank @@
-Normal rank
@@ Property / author @@
+Richard J. Wood
@@ Property / author: Richard J. Wood / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Tight Galois Connections and Complete Distributivity
+Normal rank
@@ Property / cites work @@
+Axiom of Choice and Complementation
@@ Property / cites work: Axiom of Choice and Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Filter Monads, Continuous Lattices and Closure Systems
+Normal rank
@@ Property / cites work @@
+Distributivität und subdirekte Zerlegbarkeit vollständiger Verbände
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+The category of Z-continuous posets
@@ Property / cites work: The category of Z-continuous posets / rank @@
+Normal rank
@@ Property / cites work @@
+A Subdirect-Union Representation for Completely Distributive Complete Lattices
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Generalization of Continuous Posets
@@ Property / cites work: Generalization of Continuous Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous posets and adjoint sequences
@@ Property / cites work: Continuous posets and adjoint sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Yoneda structures on 2-categories
@@ Property / cites work: Yoneda structures on 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5337203
@@ Property / cites work: Q5337203 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0305004100068377
+Normal rank
@@ Property / OpenAlex ID @@
+W3163307291
@@ Property / OpenAlex ID: W3163307291 / rank @@
+Normal rank