Brouwer's Incomplete Objects (Q3590046): Difference between revisions

@@ Property / cites work @@
+Brouwer-Heyting sequences converge
@@ Property / cites work: Brouwer-Heyting sequences converge / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931272
@@ Property / cites work: Q3931272 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+From Brouwerian counter examples to the creating subject
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Brouwerian concept of negative continuity
@@ Property / cites work: On the Brouwerian concept of negative continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of indeterminacy in the theory of general choice sequences
+Normal rank
@@ Property / cites work @@
+Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
+Normal rank
@@ Property / cites work @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank