Convergence in formal topology: a unifying notion (Q4907839): Difference between revisions

@@ Property / OpenAlex ID @@
+W1980497153
@@ Property / OpenAlex ID: W1980497153 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0720
@@ Property / arXiv ID: 1211.0720 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and a uniform presentation of sup-lattices, quantales and frames
+Normal rank
@@ Property / cites work @@
+Constructive version of Boolean algebra
@@ Property / cites work: Constructive version of Boolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary formal topologies and Stone's representation theorem
+Normal rank
@@ Property / cites work @@
+Finiteness in a Minimalist Foundation
@@ Property / cites work: Finiteness in a Minimalist Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+The overlap algebra of regular opens
@@ Property / cites work: The overlap algebra of regular opens / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of Stone-Čech compactification
@@ Property / cites work: On the existence of Stone-Čech compactification / rank @@
+Normal rank
@@ Property / cites work @@
+The point of pointless topology
@@ Property / cites work: The point of pointless topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978977
@@ Property / cites work: Q3978977 / 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 @@
+On MacLane's conditions for coherence of natural associativities, commutativities, etc
+Normal rank
@@ Property / cites work @@
+Q5718572
@@ Property / cites work: Q5718572 / rank @@
+Normal rank
@@ Property / cites work @@
+A minimalist two-level foundation for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851541
@@ Property / cites work: Q2851541 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural investigation on formal topology: coreflection of formal covers and exponentiability
+Normal rank
@@ Property / cites work @@
+Q4896531
@@ Property / cites work: Q4896531 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains as formal spaces
@@ Property / cites work: Continuous domains as formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and completeness proofs
@@ Property / cites work: Pretopologies and completeness proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive domain theory as a branch of intuitionistic pointfree topology
+Normal rank
@@ Property / cites work @@
+Formal Zariski topology: Positivity and points
@@ Property / cites work: Formal Zariski topology: Positivity and points / rank @@
+Normal rank