On the existence of Stone-Čech compactification (Q3066786): Difference between revisions

@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+On bicompact spaces
@@ Property / cites work: On bicompact spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5689034
@@ Property / cites work: Q5689034 / rank @@
+Normal rank
@@ Property / cites work @@
+The Stone-Čech compactification of locales. III
@@ Property / cites work: The Stone-Čech compactification of locales. III / rank @@
+Normal rank
@@ Property / cites work @@
+Stone-Čech compactification of locales. II
@@ Property / cites work: Stone-Čech compactification of locales. II / rank @@
+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 general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+On the constructive Dedekind reals
@@ Property / cites work: On the constructive Dedekind reals / rank @@
+Normal rank
@@ Property / cites work @@
+CZF and second order arithmetic
@@ Property / cites work: CZF and second order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on the Stone-Čech and Alexandroff compactifications of locales
+Normal rank
@@ Property / cites work @@
+Exact approximations to Stone-Čech compactification
+Normal rank