Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612): Difference between revisions

@@ Property / cites work @@
+The creating subject, the Brouwer-Kripke schema, and infinite proofs
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931272
@@ Property / cites work: Q3931272 / rank @@
+Normal rank
@@ Property / cites work @@
+The use of Kripke's schema as a reduction principle
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+INTUITIONISTIC ANALYSIS AT THE END OF TIME
@@ Property / cites work: INTUITIONISTIC ANALYSIS AT THE END OF TIME / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579001
@@ Property / cites work: Q5579001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing choice sequences
@@ Property / cites work: Analysing choice sequences / rank @@
+Normal rank