Canonical extensions of locally compact frames (Q2310786): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2996648902
@@ Property / OpenAlex ID: W2996648902 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03542
@@ Property / arXiv ID: 1910.03542 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal essential extensions in the context of frames
+Normal rank
@@ Property / cites work @@
+Q4740609
@@ Property / cites work: Q4740609 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalising canonical extension to the categorical setting
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Choiceless, pointless, but not useless: dualities for preframes
+Normal rank
@@ Property / cites work @@
+Q4261084
@@ Property / cites work: Q4261084 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-locally compact coreflection of a stably locally compact locale
+Normal rank
@@ Property / cites work @@
+Joins in the frame of nuclei
@@ Property / cites work: Joins in the frame of nuclei / rank @@
+Normal rank
@@ Property / cites work @@
+Compactly generated Hausdorff locales
@@ Property / cites work: Compactly generated Hausdorff locales / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Extensions, Esakia Spaces, and Universal Models
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta_1\)-completions of a poset.
@@ Property / cites work: \(\Delta_1\)-completions of a poset. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4313857
@@ Property / cites work: Q4313857 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3505082
@@ Property / cites work: Q3505082 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Hausdorff Topology and Domain Theory
@@ Property / cites work: Non-Hausdorff Topology and Domain Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915037
@@ Property / cites work: Q3915037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702938
@@ Property / cites work: Q3702938 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373424
@@ Property / cites work: Q4373424 / rank @@
+Normal rank
@@ Property / cites work @@
+A Direct Proof of the Hofmann-Mislove Theorem
@@ Property / cites work: A Direct Proof of the Hofmann-Mislove Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Frames and Locales
@@ Property / cites work: Frames and Locales / rank @@
+Normal rank
@@ Property / cites work @@
+Duality and canonical extensions for stably compact spaces
+Normal rank
@@ Property / Wikidata QID @@
+Q126530713
@@ Property / Wikidata QID: Q126530713 / rank @@
+Normal rank