On some peculiar aspects of the constructive theory of point-free spaces (Q3583800): Difference between revisions

@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. II: Realizability
+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 @@
+A logical approach to abstract algebra
@@ Property / cites work: A logical approach to abstract algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Formal topologies on the set of first-order formulae
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Exact approximations to Stone-Čech compactification
+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 @@
+Heyting-valued interpretations for constructive set theory
+Normal rank
@@ Property / cites work @@
+Forcing in intuitionistic systems without power-set
+Normal rank
@@ Property / cites work @@
+The Gleason cover of a topos. I
@@ Property / cites work: The Gleason cover of a topos. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322276
@@ Property / cites work: Q3322276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477360
@@ Property / cites work: Q5477360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+ABOUT MODEST SETS
@@ Property / cites work: ABOUT MODEST SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and completeness proofs
@@ Property / cites work: Pretopologies and completeness proofs / rank @@
+Normal rank