Ideal completion and Stone representation of ideal-distributive ordered sets (Q1203823): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Hüllensysteme und Erweiterung von Quasi‐Ordnungen
+Normal rank
@@ Property / cites work @@
+Q3910575
@@ Property / cites work: Q3910575 / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of the Ultrafilter Theorem
@@ Property / cites work: The Power of the Ultrafilter Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Prime elements from prime ideals
@@ Property / cites work: Prime elements from prime ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041251
@@ Property / cites work: Q3041251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3315558
@@ Property / cites work: Q3315558 / rank @@
+Normal rank
@@ Property / cites work @@
+ORDER EXTENSIONS AS ADJOINT FUNCTORS
@@ Property / cites work: ORDER EXTENSIONS AS ADJOINT FUNCTORS / rank @@
+Normal rank
@@ Property / cites work @@
+The Dedekind-MacNeille completion as a reflector
@@ Property / cites work: The Dedekind-MacNeille completion as a reflector / rank @@
+Normal rank
@@ Property / cites work @@
+Standard completions for quasiordered sets
@@ Property / cites work: Standard completions for quasiordered sets / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in Partially Ordered Sets
@@ Property / cites work: Ideals in Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915037
@@ Property / cites work: Q3915037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5548276
@@ Property / cites work: Q5548276 / rank @@
+Normal rank
@@ Property / cites work @@
+Each join-completion of a partially ordered set in the solution of a universal problem
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank