# zbMATH — the first resource for mathematics

The creating subject, the Brouwer-Kripke schema, and infinite proofs. (English) Zbl 1437.03173
Summary: Kripke’s Schema (better the Brouwer-Kripke Schema) and the Kreisel-Troelstra Theory of the Creating Subject were introduced around the same time for the same purpose, that of analysing Brouwer’s ‘Creating Subject arguments’; other applications have been found since. I first look in detail at a representative choice of Brouwer’s arguments. Then I discuss the original use of the Schema and the Theory, their justification from a Brouwerian perspective, and instances of the Schema that can in fact be found in Brouwer’s own writings. Finally, I defend the Schema and the Theory against a number of objections that have been made.

##### MSC:
 03F55 Intuitionistic mathematics 03F60 Constructive and recursive analysis
Full Text:
##### References:
 [1] Ardeshir, M.; Ramezanian, R., The double negation of the intermediate value theorem, Ann. Pure Appl. Logic, 161, 737-744, (2010) · Zbl 1233.03060 [2] van Atten, M., Phenomenology of choice sequences, (1999), Utrecht University, (Ph.D. thesis) · Zbl 0957.03003 [3] van Atten, M., On Brouwer, (2004), Wadsworth Belmont · Zbl 1072.03005 [4] van Atten, M., Brouwer meets husserl. on the phenomenology of choice sequences, (2007), Springer Dordrecht · Zbl 1119.03001 [5] van Atten, M., The foundations of mathematics as a study of life: an effective but non-recursive function, Prog. Theor. Phys. Suppl., 173, 38-47, (2008), Special issue: Proceedings of the Nishinomiya-Yukawa Memorial International Syposium ’What is Life? The Next 100 Years of Yukawa’s Dream’, Kyoto, 2007 [6] van Atten, M., The hypothetical judgement in the history of intuitionistic logic, (Glymour, C.; Wang, W.; Westerstahl, D., Logic, Methodology, and Philosophy of Science XIII: Proceedings of the 2007 International Congress in Beijing, (2009), College Publications London), 122-136 [7] M. van Atten, Intuition, iteration, induction, (2015) Preprint. https://arxiv.org/abs/1510.01094. [8] M. van Atten, Predicativity and parametric polymorphism of Brouwerian implication, (2017) Preprint. https://arxiv.org/abs/1710.07704. [9] M. van Atten, The development of intuitionistic logic, in: E. Zalta (Ed.), The Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab, CSLI, Stanford 2017. https://plato.stanford.edu/entries/intuitionistic-logic-development/. [10] van Atten, M., Troelstra’s paradox and markov’s principle, (Alberts, G.; Bergmans, L.; Muller, F., Dutch Significs and Early Criticism of the Vienna Circle, (2018), Springer Dordrecht), forthcoming, Preprint available at https://hal.archives-ouvertes.fr/hal-01415603 [11] van Atten, M.; van Dalen, D., Arguments for the continuity principle, Bull. Symbolic Logic, 8, 3, 329-347, (2002) · Zbl 1036.03047 [12] van Atten, M.; Sundholm, G., L. E. J. brouwer’s ”unreliability of the logical principles”. A new translation, with an introduction, Hist. Philos. Logic, 38, 1, 24-47, (2016) · Zbl 1372.01108 [13] Belinfante, J., Zur intuitionistischen theorie der unendlichen reihen, Sitz. Preußischen Akad. Wiss., 639-660, (1929) · JFM 55.0121.05 [14] Belinfante, J., Absolute konvergenz in der intuitionistischen Mathematik, KNAW Proc., 33, 1180-1184, (1930) · JFM 56.0904.05 [15] Belinfante, J., Über eine besondere klasse von non-oszillierenden reihen, KNAW Proc., 33, 1170-1179, (1930) · JFM 56.0904.04 [16] Belinfante, J., Die Hardy-littlewoodsche umkehrung des abelschen stetigkeitssatzes in der intuitionistischen Mathematik, KNAW Proc., 34, 401-412, (1931) · JFM 57.0260.02 [17] M. Benini, Review of [98], Zentralblatt, Zb. 1357.03090. · Zbl 0687.16032 [18] Borwein, J., Brouwer-Heyting sequences converge, Math. Intelligencer, 20, 1, 14-15, (1998) · Zbl 0921.00003 [19] D. Bridges, E. Palmgren, Constructive mathematics, in: E. Zalta (Ed.), The Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab, CSLI, Stanford 2013, https://plato.stanford.edu/entries/mathematics-constructive/. [20] L.E.J. Brouwer, Student notebooks, in: Brouwer Papers, Noord-Hollands Archief, Haarlem, Available at http://www.cs.ru.nl/F.Wiedijk/brouwer/index.html 1904-1907. [21] Brouwer, L. E.J., Over de grondslagen der wiskunde, (1907), Universiteit van Amsterdam, (Ph.D. thesis) · JFM 38.0081.04 [22] Brouwer, L. E.J., De onbetrouwbaarheid der logische principes, Tijdschr. Wijsb., 2, 152-158, (1908) [23] Brouwer, L. E.J., Die mögliche Mächtigkeiten, (Castelnuovo, G., Atti del IV Congresso Internazionale dei Miatematici, Roma, 1908, vol. 3, (1909), Tipografia della Reale Accademia dei Lincei), 569-571 [24] Brouwer, L. E.J., Begründung der mengenlehre unabhängig vom logischen satz vom ausgeschlossenen dritten. erster teil: allgemeine mengenlehre, KNAW Verh., 5, 1-43, (1918) · JFM 46.0310.06 [25] Brouwer, L. E.J., Begründung der mengenlehre unabhängig vom logischen satz vom ausgeschlossenen dritten. zweiter teil, theorie der punktmengen, KNAW Verh., 7, 1-33, (1919) · JFM 47.0171.03 [26] Brouwer, L. E.J., Besitzt jede reelle zahl eine dezimalbruchentwicklung?, Math. Ann., 83, 201-210, (1921) · JFM 48.0062.01 [27] Brouwer, L. E.J., Intuïtionistische splitsing Van mathematische grondbegrippen, KNAW Versl., 32, 877-880, (1923) · JFM 49.0030.02 [28] Brouwer, L. E.J., Begründung der funktionenlehre unabhängig vom logischen satz vom ausgeschlossenen dritten. erster teil, stetigkeit, messbarkeit, derivierbarkeit, KNAW Verh., 13, 2, 1-24, (1923) [29] Brouwer, L. E.J., Bemerkungen zum beweise der gleichmässigen stetigkeit voller funktionen, KNAW Proc., 27, 644-646, (1924) [30] Brouwer, L. E.J., Beweis dass jede volle funktion gleichmässig stetig ist, KNAW Versl., 27, 189-193, (1924) [31] Brouwer, L. E.J., Über die bedeutung des satzes vom ausgeschlossenen dritten in der Mathematik, insbesondere in der funktionentheorie, J. Reine Angew. Math., 154, 1-7, (1924) · JFM 50.0146.02 [32] Brouwer, L. E.J., Intuitionistische zerlegung mathematischer grundbegriffe, Jahresber. Dtsch. Math.-Ver., 33, 251-256, (1925) · JFM 51.0047.06 [33] Brouwer, L. E.J., Zur begründung der intuitionistischen Mathematik I, Math. Ann., 93, 244-257, (1925) · JFM 51.0164.02 [34] Brouwer, L. E.J., Zur begründung der intuitionistischen Mathematik, II, Math. Ann., 95, 453-472, (1926) · JFM 52.0193.01 [35] Brouwer, L. E.J., Über definitionsbereiche von funktionen, Math. Ann., 97, 60-75, (1927) · JFM 52.0239.01 [36] Brouwer, L. E.J., Intuitionistische betrachtungen über den formalismus, KNAW Proc., 31, 374-379, (1928) · JFM 54.0053.01 [37] Brouwer, L. E.J., Mathematik, wissenschaft und sprache, Mon. Math. Phys., 36, 153-164, (1929) · JFM 55.0028.04 [38] Brouwer, L. E.J., Besprechung von A. fraenkel, zehn vorlesungen über die grundlegung der mengenlehre, Jahresber. Dtsch. Math.-Ver., 39, 10-11, (1930) [39] Brouwer, L. E.J., Die struktur des kontinuums, (1930), Komitee zur Veranstaltung von Gastvorträgen ausländischer Gelehrter der exakten Wissenschaften Wien · JFM 56.0083.01 [40] L.E.J. Brouwer, Groningen lectures, in: Brouwer Archive, Noord-Hollands Archief, Haarlem, 1933. [41] Brouwer, L. E.J., Willen, weten, spreken, Euclides, 9, 177-193, (1933) · JFM 59.0055.08 [42] L.E.J. Brouwer, Geneva lectures, in: Brouwer Archive, Noord-Hollands Archief, Haarlem, 1934. [43] Brouwer, L. E.J., Zum freien werden von mengen und funktionen, KNAW Proc., 45, 322-323, (1942) · Zbl 0027.04906 [44] Brouwer, L. E.J., Richtlijnen der intuïtionistische wiskunde, KNAW Proc., 50, 339, (1947) [45] Brouwer, L. E.J., Essentieel negatieve eigenschappen, KNAW Proc., 51, 963-964, (1948) [46] Brouwer, L. E.J., Opmerkingen over het beginsel Van het uitgesloten derde en over negatieve asserties, KNAW Proc., 51, 1239-1243, (1948) [47] L.E.J. Brouwer, Consciousness, philosophy and mathematics, in: E. Beth, H. Pos, J. Hollak (Eds.), Proceedings of the 10th International Congress of Philosophy, 1948. I, vol. 2, North-Holland, Amsterdam, 1949, pp. 1235-1249. [48] Brouwer, L. E.J., De non-aequivalentie Van de constructieve en de negatieve orderelatie in het continuum, KNAW Proc., 52, 122-124, (1949) [49] Brouwer, L. E.J., Sur la possibilité d’ordonner le continu, C. R. Acad. Sci., Paris, 230, 349-350, (1950) · Zbl 0041.37503 [50] Brouwer, L. E.J., On order in the continuum, and the relation of truth to non-contradictority, KNAW Proc., 54, 357-358, (1951) · Zbl 0043.25002 [51] Brouwer, L. E.J., Historical background, principles and methods of intuitionism, South Afr. J. Sci., 49, 139-146, (1952) [52] Brouwer, L. E.J., Intuïtionistische differentieerbaarheid, KNAW Proc., 57, 201-203, (1954) · Zbl 0056.01304 [53] Brouwer, L. E.J., An example of contradictority in classical theory of functions, KNAW Proc., 57, 204-205, (1954) · Zbl 0056.01305 [54] Brouwer, L. E.J., Points and spaces, Canad. J. Math., 6, 1-17, (1954) · Zbl 0055.04601 [55] Brouwer, L. E.J., The effect of intuitionism on classical algebra of logic, Proc. R. Ir. Acad., 57, 113-116, (1955) · Zbl 0066.01101 [56] L.E.J. Brouwer, Collected Works I, Philosophy and Foundations of Mathematics, North-Holland, Amsterdam, 1975. · Zbl 0311.01021 [57] Brouwer, L. E.J., (Brouwer’s Cambridge Lectures on Intuitionism, (1981), Cambridge University Press Cambridge) · Zbl 0476.03056 [58] Brouwer, L. E.J., (Intuitionismus, (1992), Bibliographisches Institut, Wissenschaftsverlag Mannheim) [59] Brouwer, L. E.J., (L. E. J. Brouwer en de Grondslagen van de Wiskunde, (2001), Epsilon Utrecht) [60] Burgess, J., Brouwer and souslin on transfinite cardinals, Z. Math. Log. Grundl. Math., 26, 209-214, (1980) · Zbl 0432.03031 [61] Cellucci, C., On the role of reducibility principles, Synthese, 27, 1/2, 93-110, (1974) · Zbl 0319.02010 [62] van Dalen, D., A model for HAS, Fund. Math., 82, 167-174, (1974) · Zbl 0299.02038 [63] van Dalen, D., The use of kripke’s schema as a reduction principle, J. Symbolic Logic, 42, 2, 238-240, (1977) · Zbl 0382.03042 [64] van Dalen, D., An interpretation of intuitionistic analysis, Ann. Math. Log., 13, 1-43, (1978) · Zbl 0399.03049 [65] van Dalen, D., Filosofische grondslagen Van de wiskunde, (1978), Van Gorcum Assen [66] van Dalen, D., Braucht die konstruktive Mathematik grundlagen?, Jahresber. Dtsch. Math.-Ver., 84, 57-78, (1982) · Zbl 0523.03004 [67] van Dalen, D., The creative subject and heyting’s arithmetic, (Universal Algebra and Applications, Semester 1978, Banach Center Publications, vol. 9, (1982), Banach Center Warsaw), 379-382 [68] van Dalen, D., From Brouwerian counter examples to the creating subject, Studia Logica, 62, 2, 305-314, (1999) · Zbl 0922.03083 [69] van Dalen, D., The selected correspondence of L. E. J. Brouwer, (2011), Springer London · Zbl 1225.01097 [70] van Dalen, D., L. E. J. Brouwer topologist, intuitionist, philosopher, (2013), Springer London · Zbl 1255.01024 [71] van Dantzig, D., On the principles of intuitionistic and affirmative mathematics. I, KNAW Proc., 50, 918-929, (1947) · Zbl 0035.14901 [72] van Dantzig, D., Comments on brouwer’s theorem on essentially-negative predicates, KNAW Proc., 52, 949-957, (1949) · Zbl 0038.00603 [73] Dijkman, J., Recherche de la convergence négative dans LES mathématiques intuitionistes, KNAW Proc., 51, 681-692, (1948) · Zbl 0030.10108 [74] Dragálin, A., Mathematical intuitionism. introduction to proof theory, (1988), American Mathematical Society Providence, RI · Zbl 0634.03054 [75] Dummett, M., Elements of intuitionism, (2000), Clarendon Press Oxford · Zbl 0949.03059 [76] Dummett, M., Is time a continuum of instants?, Philosophy, 75, 497-515, (2000) [77] Erdélyi-Szabó, M., Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis, J. Symbolic Logic, 65, 3, 1014-1030, (2000) · Zbl 0970.03037 [78] A. Fraenkel, Y. Bar-Hillel, A. Lévy, Foundations of Set Theory, second ed., North-Holland, Amsterdam, 1973, With the collaboration of D. van Dalen. · Zbl 0082.26203 [79] Friedrich, W.; Luckhardt, H., Intuitionistic uniformity principles for propositions and some applications, Studia Logica, 39, 361-369, (1980) · Zbl 0463.03035 [80] George, A., The conveyability of intuitionism, an essay on mathematical cognition, J. Philos. Logic, 17, 2, 133-156, (1988) · Zbl 0658.03003 [81] W. Gielen, The trustworthiness of the logical principles, (1983) manuscript. [82] Gielen, W.; Swart, H. De; Veldman, W., The continuum hypothesis in intuitionism, J. Symbolic Logic, 46, 121-136, (1981) · Zbl 0461.03014 [83] Gil, D., Intuitionism, transformational grammar and mental acts, Stud. Hist. Phil. Sci., 14, 3, 232-254, (1983) [84] Griss, G. F.C., Negatieloze intuïtionistische wiskunde, KNAW Versl., 53, 261-268, (1944) [85] Griss, G. F.C., Negationless intuitionistic mathematics I, KNAW Proc., 49, 1127-1133, (1946) · Zbl 0061.00803 [86] Gödel, K., Papers, department of rare books and special collections, (1905-1980), Firestone Library Princeton [87] (van Heijenoort, J., From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879-1931, (1967), Harvard University Press Cambridge MA) [88] Heyting, A., Intuïtionistische axiomatiek der projektieve meetkunde, (1925), Universiteit van Amsterdam · JFM 51.0436.06 [89] Heyting, A., Mathematische grundlagenforschung, intuitionismus, beweistheorie, (1934), Springer Berlin · Zbl 0009.38501 [90] A. Heyting, Intuitionism. An Introduction, North-Holland, Amsterdam, 1956. [91] Heyting, A., Blick von der intuitionistischen warte, Dialectica, 12, 332-345, (1958) · Zbl 0089.24502 [92] Heyting, A., Intuitionism. an introduction, (1965), Mir Moscow, Russian translation of [90] by V. Yankov, with added comments by A. Markov · Zbl 0125.00510 [93] Arend Heyting, Intuitionism. An Introduction, third ed., North-Holland, Amsterdam, 1972. [94] Heyting, A., Continuum en keuzerij bij Brouwer, Nieuw Arch. Wiskd., Ser. 3, 29, 125-139, (1981) · Zbl 0486.03031 [95] Hull, R., Counterexamples in intuitionistic analysis using kripke’s schema, Z. Math. Log. Grundl. Math., 15, 241-246, (1969) · Zbl 0193.29003 [96] A. Kino, J. Myhill, R. Vesley (Eds.), Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y., 1968, North-Holland, Amsterdam, 1970. [97] Johnstone Jr, H. W., Philosophy and argument, (1959), The Pennsylvania State University Press University Park [98] Kachapova, F., A strong multi-typed intuitionistic theory of functionals, J. Symbolic Logic, 80, 3, 1035-1065, (2015) · Zbl 1357.03090 [99] S. Kleene, Constructive functions in the foundations of intuitionistic mathematics, in: B. van Rootselaar, F. Staal (Eds.), Logic, Methodology, and Philosophy of Science. Proceedings of the 3rd International Congress, Amsterdam 1967, vol. 3, North-Holland, Amsterdam, 1968, pp. 137-144. [100] Kleene, S., Formalized recursive functionals and formalized realizability, (Memoirs of the American Mathematical Society, vol. 89, (1969), American Mathematical Society Providence, RI) · Zbl 0184.02004 [101] S. Kleene, R. Vesley, The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions, North-Holland, Amsterdam, 1965. · Zbl 0133.24601 [102] Klev, A., A proof-theoretic account of the miners paradox, Theoria, 82, 4, 351-369, (2016) [103] Kreisel, G., A remark on free choice sequences and the topological completeness proofs, J. Symbolic Logic, 23, 369-388, (1958) · Zbl 0091.01101 [104] G. Kreisel, Foundations of intuitionistic logic, in: E. Nagel, P. Suppes, A. Tarski (Eds.), Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Stanford, 1962, pp. 198-210. [105] Kreisel, G., On weak completeness of intuitionistic predicate logic, J. Symbolic Logic, 27, 2, 139-158, (1962) · Zbl 0117.01005 [106] (Kreisel, G., Stanford Report on the Foundations of Analysis, (1963), Stanford University) [107] Kreisel, G., Mathematical logic, (Saaty, T., Lectures on Modern Mathematics, vol. 3, (1965), Wiley New York), 95-195 [108] Kreisel, G., Review of [104], J. Symbolic Logic, 31, 2, 258-261, (1966) [109] G. Kreisel, Informal rigour and completeness proofs, in: I. Lakatos (Ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam, 1967, pp. 138-186. [110] Kreisel, G., Mathematical logic: what has it done for the philosophy of mathematics?, (Schoenman, R., Bertrand Russell. Philosopher of the Century, (1967), George Allen and Unwin London), 201-272 [111] Kreisel, G., Lawless sequences of natural numbers, Compos. Math., 20, 222-248, (1968) · Zbl 0157.33401 [112] G. Kreisel, Church’s Thesis: A kind of reducibility axiom for constructive mathematics, in: A. Kino, J. Myhill, R. Vesley (Eds.), Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y., 1968, North-Holland, Amsterdam, 1970, pp. 121-150. [113] Kreisel, G., Review of [122], J. Symbolic Logic, 35, 2, 330-332, (1970) [114] G. Kreisel, Review of [112], 199 (1971) Zentralblatt, Zb. 199.30001. [115] Kreisel, G., Which number theoretic problems can be solved in recursive progressions on $$\operatorname{\Pi}_1^1$$-paths through $$O$$?, J. Symbolic Logic, 37, 2, 311-334, (1972) · Zbl 0255.02048 [116] G. Kreisel, Review of [67], 518 (1984) Zentralblatt, Zb. 518.03025. [117] Kreisel, G.; Newman, M., Luitzen egbertus jan Brouwer, Biogr. Mem. Fellows R. Soc., 15, 39-68, (1969), 1881-1966 [118] Kreisel, G.; Troelstra, A. S., Formal systems for some branches of intuitionistic analysis, Ann. Math. Log., 1, 3, 229-387, (1970) · Zbl 0211.01101 [119] S. Kripke, Semantical analysis of intuitionistic logic I, in: M. Dummett, J. Crossley (Eds.), Formal Systems and Recursive Functions, North-Holland, Amsterdam, 1965, pp. 92-130. · Zbl 0137.00702 [120] S. Kripke, Slides of ’free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics’, (2016) https://wiskgenoot.nl/sites/default/files/afbeeldingen/Brouwer50/presentaties50yl/Kripke.pdf. [121] Kripke, S., Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics, Indag. Math. (N.S.), (2018), forthcoming [122] Krivtsov, V., Note on extensions of heyting’s arithmetic by adding the “creative subject”, Arch. Math. Logic, 38, 3, 145-152, (1999) · Zbl 0931.03072 [123] Krivtsov, V., A negationless interpretation of intuitionistic theories, Erkenntnis, 53, 1-2, 155-172, (2000) · Zbl 0981.03062 [124] Krol’, M., Distinct variants of kripke’s schema in intuitionistic analysis, Sov. Math. Dokl., 19, 474-477, (1978) · Zbl 0397.03037 [125] I. Lakatos (Ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam, 1967. · Zbl 0155.33603 [126] Lambek, J., Are the traditional philosophies of mathematics really incompatible?, Math. Intelligencer, 16, 1, 56-62, (1994) · Zbl 0803.03002 [127] Loeb, I., Indecomposability of negative dense subsets of $$\mathbb{Q}$$ in constructive reverse mathematics, Log. J. IGPL, 17, 2, 173-177, (2009) · Zbl 1172.03029 [128] Lubarsky, R.; Richman, F.; Schuster, P., The Kripke schema in metric topology, Math. Log. Q., 58, 6, 498-501, (2012) · Zbl 1259.03081 [129] Mancosu, P., From Brouwer to Hilbert. the debate on the foundations of mathematics in the 1920s, (1998), Oxford University Press Oxford · Zbl 0941.01003 [130] Margenstern, M., L’école constructive de Markov, Rev. Histoire Math., 1, 2, 271-305, (1995) · Zbl 0837.01002 [131] A. Markov, On a principle of constructive mathematical logic, in: Proceedings of the Third All-Union Mathematical Congress, (1956), vol. 2, Moscow, 1956, pp. 146-147. [132] Martin-Löf, P., Mathematics of infinity, (Martin-Löf, P.; Mints, G., COLOG-88, Lecture Notes in Computer Science, vol. 417, (1990), Springer-Verlag Berlin), 146-197 [133] Martino, E., On the Brouwerian concept of negative continuity, J. Philos. Logic, 14, 379-398, (1985) · Zbl 0631.03046 [134] Martino, E., Brouwer’s equivalence between virtual and inextensible order, Hist. Philos. Logic, 9, 1, 57-66, (1988) · Zbl 0649.01028 [135] E. Martino, P. Giaretta, Brouwer, Dummett, and the Bar theorem, in: Atti del Congresso Nazionale di Logica, Montecatini Terme, 1979, Napoli, 1981, pp. 541-558. [136] Metschl, U., Was weiß das kreative subjekt? brouwers intuitionismus und eine konzeption apriorischen wissens, Philos. Jahrb. Görresgesellschaft, 107, 133-155, (2000) [137] Moschovakis, J., Can there be no nonrecursive functions?, J. Symbolic Logic, 36, 2, 309-315, (1971) · Zbl 0247.02036 [138] Moschovakis, J., Review of [57], J. Symbolic Logic, 44, 2, 271-275, (1979) [139] Moschovakis, J., A disjunctive decomposition theorem for classical theories, (Richman, F., Constructive mathematics, Proceedings of the Conference at Las Cruces, NM, 1980, Lecture Notes in Mathematics, vol. 873, (1981), Springer Berlin), 250-259 [140] Myhill, J., The invalidity of markoff’s schema, Z. Math. Log. Grundl. Math., 9, 359-360, (1963) · Zbl 0122.01102 [141] Myhill, J., Notes towards an axiomatization of intuitionistic analysis, Log. Anal., 35, 280-297, (1967) · Zbl 0187.26307 [142] J. Myhill, Formal systems of intuitionistic analysis. I, in: B. van Rootselaar, F. Staal (Eds.), Logic, Methodology, and Philosophy of Science. Proceedings of the 3rd International Congress, Amsterdam 1967, vol. 3, North-Holland, Amsterdam, 1968, pp. 161-178. [143] Myhill, J., The formalization of intuitionism, (Klibansky, R., Contemporary Philosophy. A Survey. I. Logic and Foundations of Mathematics, (1968), La Nuova Italia Editric Amsterdam), 324-341 [144] J. Myhill, Formal systems of intuitionistic analysis. II: The theory of species, in: A. Kino, J. Myhill, R. Vesley (Eds.), Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y., 1968, North-Holland, Amsterdam, 1970, pp. 151-162. [145] Niekus, J., Individual choice sequences in the work of L. E. J. Brouwer, Philos. Sci., 5, 217-232, (2005), Cahier Spécial [146] Niekus, J., The method of the creative subject, KNAW Proc., 90, 4, 431-443, (1987) · Zbl 0644.03034 [147] Niekus, J., Brouwer’s incomplete objects, Hist. Philos. Logic, 31, 1, 31-46, (2010) · Zbl 1200.03006 [148] Niekus, J., What is a choice sequence? how a solution of troelstra’s paradox shows the way to an answer to this question, (Tech. Rep. PP-201702, (2017), Institute for Logic, Language and Computation Amsterdam) [149] Parsons, C., Introduction to [36], (van Heijenoort, J., From Frege to Gödel: A Sourcebook in Mathematical Logic, 1879-1931, (1967), Harvard University Press Cambridge MA), 446-457 [150] Posy, C., Varieties of indeterminacy in the theory of general choice sequences, J. Philos. Logic, 5, 91-132, (1976) · Zbl 0349.02027 [151] Posy, C., Brouwerian infinity, (van Atten, M.; Boldini, P.; Bourdeau, M.; Heinzmann, G., One Hundred Years of Intuitionism (1907-2007). The Cerisy Conference, (2008), Birkhäuser Basel), 21-36 [152] van Rootselaar, B., Un problème de M. dijkman, KNAW Proc., 55, 405-407, (1952) · Zbl 0047.28503 [153] van Rootselaar, B., Generalization of the Brouwer integral, (1954), Universiteit van Amsterdam, (Ph.D. thesis) [154] B. van Rootselaar, On subjective mathematical assertions, in: A. Kino, J. Myhill, R. Vesley (Eds.), Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y., 1968, North-Holland, Amsterdam, 1970, pp. 187-196. [155] Schuster, P.; Zappe, J., Über das Kripke-schema und abzählbare teilmengen, Log. Anal., 204, 317-329, (2008) · Zbl 1171.03038 [156] Scott, D., Constructive validity, (Laudet, M.; Lacombe, D.; Nolin, L.; Schützenberger, M., Symposium on Automatic Demonstration, Versailles, 1968, Lecture Notes in Mathematics, vol. 125, (1970), Springer Berlin), 237-275 [157] D. Scott, Extending the topological interpretation to intuitionistic analysis. II, in: A. Kino, J. Myhill, R. Vesley (Eds.), Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N. Y., 1968, North-Holland, Amsterdam, 1970, pp. 235-255. [158] Scowcroft, P., More on brouwer’s refutations, Ann. Pure Appl. Logic, 41, 83-91, (1989) [159] Smorynski, C., Applications of Kripke models, (Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, (1973), Springer Berlin), 324-391 [160] Sundholm, G., Constructions, proofs and the meaning of logical constants, J. Philos. Logic, 12, 151-172, (1983) · Zbl 0539.03038 [161] Sundholm, G., Questions of proof, Manuscrito, XVI, 2, 47-70, (1993) [162] Sundholm, G., Constructive recursive functions, church’s thesis, and brouwer’s theory of the creating subject: afterthoughts on a Parisian joint session, (Dubucs, J.; Bourdeau, M., Constructivity and Calculability in Historical and Philosophical Perspective, (2014), Springer Dordrecht), 1-35 · Zbl 1352.03003 [163] Sundholm, G.; van Atten, M., The proper interpretation of intuitionistic logic. on brouwer’s demonstration of the bar theorem, (van Atten, M.; Boldini, P.; Bourdeau, M.; Heinzmann, G., One Hundred Years of Intuitionism (1907-2007). The Cerisy Conference, (2008), Birkhäuser Basel), 60-77 [164] de Swart, H., Intuitionistic logic in intuitionistic metamathematics, (1976), Katholieke Universiteit Nijmegen, (Ph.D. thesis) · Zbl 0327.02021 [165] de Swart, H., An intuitionistically plausible interpretation of intuitionistic logic, J. Symbolic Logic, 42, 4, 564-578, (1977) · Zbl 0383.03040 [166] de Swart, H., Spreads or choice sequences?, Hist. Philos. Logic, 13, 203-213, (1992) · Zbl 0769.03004 [167] Troelstra, A. S., (Principles of intuitionism, Lecture Notes in Mathematics, vol. 95, (1969), Springer Berlin) · Zbl 0181.00504 [168] Troelstra, A. S., Markov’s principle and markov’s rule for theories of choice sequences, (Dold, A.; Eckmann, B., Proof Theory Symposion. Kiel 1974, Lecture Notes in Mathematics, vol. 500, (1975), Springer Berlin), 370-383 · Zbl 0324.02015 [169] Troelstra, A. S., Choice sequences. A chapter of intuitionistic mathematics, (1977), Oxford University Press Oxford · Zbl 0355.02026 [170] Troelstra, A. S., On a second order propositional operator in intuitionistic logic, Studia Logica, 40, 2, 113-139, (1981) · Zbl 0473.03022 [171] A.S. Troelstra, On the origin and development of Brouwer’s concept of choice sequence, in: A.S., Troelstra, D., van Dalen (Eds.), The L. E. J. Brouwer Centenary Symposium, North-Holland, Amsterdam, 1982, pp. 465-486. · Zbl 0522.03049 [172] A.S. Troelstra, D. van Dalen, Constructivism in Mathematics. An Introduction, North-Holland, Amsterdam, 1988. · Zbl 0653.03040 [173] A.S. Troelstra, in: The theory of choice sequences, in: B. van Rootselaar, F. Staal (Eds.), Logic, Methodology, and Philosophy of Science. Proceedings of the 3rd International Congress, Amsterdam 1967, vol. 3, North-Holland, Amsterdam, 1968, pp. 201-223. [174] Troelstra, A. S., Analysing choice sequences, J. Philos. Logic, 12, 197-260, (1983) · Zbl 0518.03023 [175] Uspensky, V.; Semenov, A., Algorithms. main ideas and applications, (1993), Springer Dordrecht [176] Vafeiadou, G., Formalizing constructive analysis: A comparison of minimal systems and a study of uniqueness principles, (2012), National and Kapodistrian University of Athens, (Ph.D. thesis) [177] Vandoulakis, I., On A. A. markov’s attitude towards brouwer’s intuitionism, Philos. Sci., 19, 1, 143-158, (2015) · Zbl 1375.00058 [178] Veldman, W., An intuitionistic completeness theorem for intuitionistic predicate logic, J. Symbolic Logic, 41, 1, 159-166, (1976) · Zbl 0355.02018 [179] Veldman, W., Investigations in intuitionistic hierarchy theory, (1981), Katholieke Universiteit Nijmegen, (Ph.D. thesis) [180] Veldman, W., On the continuity of functions in intuitionistic real analysis. some remarks on brouwer’s paper: “ueber definitionsbereiche von funktionen”, (Tech. Rep. 8210, (1982), Mathematisch Instituut, Katholieke Universiteit Nijmegen) [181] W. Veldman, Review of [133], 631 (1988) Zentralblatt, Zb. 631.03046. [182] Veldman, W., Understanding and using brouwer’s continuity principle, (Berger, U.; Osswald, H.; Schuster, P., Reuniting the Antipodes, Constructive and Nonstandard Views of the Continuum, (2001), Kluwer Dordrecht), 285-302, Proceedings of a Symposium held in San Servolo/Venice, 1999 · Zbl 1019.03043 [183] Veldman, W., Brouwer’s real thesis on bars, Philos. Sci., 6, 21-42, (2006), Cahier Spécial [184] Veldman, W., Brouwer’s Fan theorem as an axiom and as a contrast to kleene’s alternative, Arch. Math. Logic, 53, 5-6, 621-693, (2014) · Zbl 1327.03046 [185] R. Vesley, A palatable substitute for Kripke’s Schema, in: A. Kino, J. Myhill, R. Vesley (Eds.), Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y., 1968, North-Holland, Amsterdam, 1970, pp. 197-207. [186] R. Vesley, Review of [185], 199, (1971) Zentralblatt, Zb. 199.29901. [187] R. Vesley, Intuitionistic analysis: The search for axiomatization and understanding, in: J. Barwise, H.J. Keisler, K. Kunen (Eds.), The Kleene Symposium, North-Holland, Amsterdam, 1980, pp. 317-331. · Zbl 0473.03005 [188] Webb, J., Mechanism, mentalism, and metamathematics. an essay on finitism, (1980), D. Reidel Dordrecht · Zbl 0454.03001 [189] Williamson, T., Knowability and constructivism, Philos. Q., 38, 422-432, (1988) [190] Yankov, J. A., The calculus of the weak “law of excluded middle”, Math. USSR-Izv., 2, 5, 997-1004, (1968) · Zbl 0187.26306
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.