Duality beyond sober spaces: Topological spaces and observation frames (Q671991): Difference between revisions

@@ Property / OpenAlex ID @@
+W2016339438
@@ Property / OpenAlex ID: W2016339438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525272
@@ Property / cites work: Q4525272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490763
@@ Property / cites work: Q4490763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585132
@@ Property / cites work: Q5585132 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+A general character theory for partially ordered sets and lattices
+Normal rank
@@ Property / cites work @@
+Q3915037
@@ Property / cites work: Q3915037 / rank @@
+Normal rank
@@ Property / cites work @@
+Convex powerdomains. I
@@ Property / cites work: Convex powerdomains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Convex powerdomains. II
@@ Property / cites work: Convex powerdomains. II / rank @@
+Normal rank
@@ Property / cites work @@
+Atomless Parts of Spaces.
@@ Property / cites work: Atomless Parts of Spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+General Functorial Semantics, I
@@ Property / cites work: General Functorial Semantics, I / rank @@
+Normal rank
@@ Property / cites work @@
+Function spaces and adjoints.
@@ Property / cites work: Function spaces and adjoints. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922730
@@ Property / cites work: Q3922730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976465
@@ Property / cites work: Q3976465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975031
@@ Property / cites work: Q3975031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749207
@@ Property / cites work: Q4749207 / rank @@
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Partial Horn logic and Cartesian categories
@@ Property / cites work: Partial Horn logic and Cartesian categories / rank @@
+Normal rank