Continuity and nondiscontinuity in constructive mathematics (Q3984410): Difference between revisions

@@ Property / cites work @@
+Linear mappings are fairly well-behaved
@@ Property / cites work: Linear mappings are fairly well-behaved / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
+Normal rank
@@ Property / cites work @@
+Church's thesis without tears
@@ Property / cites work: Church's thesis without tears / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive continuity
@@ Property / cites work: Constructive continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Constructively Complete Finite Sets
@@ Property / cites work: Constructively Complete Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank