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

@@ Property / DOI @@
-.1016/j.indag.2019.01.003
@@ Property / DOI: 10.1016/j.indag.2019.01.003 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.indag.2019.01.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2909562585
@@ Property / OpenAlex ID: W2909562585 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.INDAG.2019.01.003
@@ Property / DOI: 10.1016/J.INDAG.2019.01.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1740612