Finiteness in a Minimalist Foundation (Q3499749): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-68103-8_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1751632171
@@ Property / OpenAlex ID: W1751632171 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary formal topologies and Stone's representation theorem
+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 @@
+Q3931272
@@ Property / cites work: Q3931272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Tychonoff's theorem in the framework of formal topologies
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247310
@@ Property / cites work: Q4247310 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Compactness in locales and in formal topology
@@ Property / cites work: Compactness in locales and in formal topology / rank @@
+Normal rank