Sobriety for equilogical spaces (Q2253179): Difference between revisions

@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Equilogical spaces
@@ Property / cites work: Equilogical spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795831
@@ Property / cites work: Q3795831 / rank @@
+Normal rank
@@ Property / cites work @@
+The Discrete Objects in the Effective Topos
@@ Property / cites work: The Discrete Objects in the Effective Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936141
@@ Property / cites work: Q4936141 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed exact completions
@@ Property / cites work: Locally cartesian closed exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511152
@@ Property / cites work: Q4511152 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for Computable Topology
@@ Property / cites work: Foundations for Computable Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978973
@@ Property / cites work: Q3978973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Quotients of countably based spaces are not closed under sobrification
+Normal rank
@@ Property / cites work @@
+Cohesive Toposes and Cantor's <i>'lauter Einsen'</i>
+Normal rank
@@ Property / cites work @@
+Q4511154
@@ Property / cites work: Q4511154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5298124
@@ Property / cites work: Q5298124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628320
@@ Property / cites work: Q5628320 / rank @@
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4740070
@@ Property / cites work: Q4740070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998741
@@ Property / cites work: Q3998741 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525542
@@ Property / cites work: Q4525542 / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for real analysis
@@ Property / cites work: A lambda calculus for real analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computably Based Locally Compact Spaces
@@ Property / cites work: Computably Based Locally Compact Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4540524
@@ Property / cites work: Q4540524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4540525
@@ Property / cites work: Q4540525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Repleteness and the associated sheaf
@@ Property / cites work: Repleteness and the associated sheaf / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Cartesian closed categories of (core) compactly generated spaces
+Normal rank