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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2085835278
@@ Property / OpenAlex ID: W2085835278 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5146
@@ Property / arXiv ID: 0906.5146 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3066786