Relative formal topology: the binary positivity predicate comes first (Q3225738): Difference between revisions

@@ Property / cites work @@
+A structural investigation on formal topology: coreflection of formal covers and exponentiability
+Normal rank
@@ Property / cites work @@
+Common fixed points of two isotone maps on a complete lattice
+Normal rank
@@ Property / cites work @@
+Sublocales in formal topology
@@ Property / cites work: Sublocales in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+Every countably presented formal topology is spatial, classically
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+On some peculiar aspects of the constructive theory of point-free spaces
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of the formalization of constructive topology
+Normal rank