A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337): Difference between revisions

@@ Property / cites work @@
+Brouwer meets Husserl. On the phenomenology of choice sequences
+Normal rank
@@ Property / cites work @@
+The creating subject, the Brouwer-Kripke schema, and infinite proofs
+Normal rank
@@ Property / cites work @@
+Arguments for the Continuity Principle
@@ Property / cites work: Arguments for the Continuity Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237309
@@ Property / cites work: Q4237309 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / 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 @@
+Intuitionistic views on the nature of mathematics
@@ Property / cites work: Intuitionistic views on the nature of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
+Normal rank
@@ Property / cites work @@
+The strong future tense
@@ Property / cites work: The strong future tense / rank @@
+Normal rank
@@ Property / cites work @@
+A classical view of the intuitionistic continuum
@@ Property / cites work: A classical view of the intuitionistic continuum / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated Definability, Lawless Sequences, and Brouwer’s Continuum
+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 @@
+Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism
+Normal rank
@@ Property / cites work @@
+Q3347874
@@ Property / cites work: Q3347874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4674792
@@ Property / cites work: Q4674792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5577058
@@ Property / cites work: Q5577058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671972
@@ Property / cites work: Q3671972 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing choice sequences
@@ Property / cites work: Analysing choice sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank