A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1534635720
@@ Property / OpenAlex ID: W1534635720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+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 @@
+Constructive topology and combinatorics
@@ Property / cites work: Constructive topology and combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322099
@@ Property / cites work: Q3322099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398478
@@ Property / cites work: Q4398478 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction. 3rd revised ed
@@ Property / cites work: Intuitionism. An introduction. 3rd revised ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896531
@@ Property / cites work: Q4896531 / rank @@
+Normal rank
@@ Property / cites work @@
+The continuum as a formal space
@@ Property / cites work: The continuum as a formal space / 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 @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832536
@@ Property / cites work: Q3832536 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive domain theory as a branch of intuitionistic pointfree topology
+Normal rank
@@ Property / cites work @@
+Q3998865
@@ Property / cites work: Q3998865 / rank @@
+Normal rank