Compactness in locales and in formal topology (Q2575779): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1991195512
@@ Property / OpenAlex ID: W1991195512 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Q3819682
@@ Property / cites work: Q3819682 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistic proof of Tychonoff's theorem
@@ Property / cites work: An intuitionistic proof of Tychonoff's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322276
@@ Property / cites work: Q3322276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978977
@@ Property / cites work: Q3978977 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural investigation on formal topology: coreflection of formal covers and exponentiability
+Normal rank
@@ Property / cites work @@
+Continuous domains as formal spaces
@@ Property / cites work: Continuous domains as formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Tychonoff's theorem in the framework of formal topologies
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4540524
@@ Property / cites work: Q4540524 / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of the formalization of constructive topology
+Normal rank
@@ Property / cites work @@
+Q4870815
@@ Property / cites work: Q4870815 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive points of powerlocales
@@ Property / cites work: Constructive points of powerlocales / rank @@
+Normal rank
@@ Property / cites work @@
+Topical categories of domains
@@ Property / cites work: Topical categories of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156489
@@ Property / cites work: Q3156489 / rank @@
+Normal rank
@@ Property / cites work @@
+Entailment systems for stably locally compact locales
+Normal rank
@@ Property / cites work @@
+A universal characterization of the double powerlocale
+Normal rank