{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T07:34:21Z","timestamp":1777534461458,"version":"3.51.4"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2014,6,5]],"date-time":"2014-06-05T00:00:00Z","timestamp":1401926400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s00153-014-0384-9","type":"journal-article","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T21:47:27Z","timestamp":1401918447000},"page":"621-693","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Brouwer\u2019s Fan Theorem as an axiom and as a contrast to Kleene\u2019s alternative"],"prefix":"10.1007","volume":"53","author":[{"given":"Wim","family":"Veldman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,5]]},"reference":[{"key":"384_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M.J. Beeson","year":"1985","unstructured":"Beeson M.J.: Foundations of Constructive Mathematics. Springer, Berlin (1985)"},{"key":"384_CR2","unstructured":"Bayens, E.: (Zwakke) convergentie, een oefening in intu\u00eftionistische analyse. Master Thesis, Department of Mathematics, Katholieke Universiteit Nijmegen (2003)"},{"key":"384_CR3","first-page":"129","volume":"38","author":"J. Berger","year":"2008","unstructured":"Berger J., Bridges D.: The Fan Theorem and positive-valued niformly continuous functions on compact intervals. N. Z. J. Math. 38, 129\u2013135 (2008)","journal-title":"N. Z. J. Math."},{"key":"384_CR4","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1305\/ndjfl\/1153858650","volume":"47","author":"J. Berger","year":"2006","unstructured":"Berger J., Schuster P.: Classifying Dini\u2019s Theorem. Notre Dame J. Formal Logic 47, 253\u2013262 (2006)","journal-title":"Notre Dame J. Formal Logic"},{"key":"384_CR5","doi-asserted-by":"crossref","unstructured":"Berger, J., Schuster, P.: Dini\u2019s Theorem in the light of constructive reverse mathematics. In: Lindstr\u00f6m, S., Palmgren, E., Segerberg, K., Stoltenberg-Hansen, V. (eds.) Logicism, Intuitionism, and Formalism\u2014What has become of them? pp. 153\u2013165. Springer, Berlin (2009)","DOI":"10.1007\/978-1-4020-8926-8_7"},{"key":"384_CR6","volume-title":"Foundations of Constructive Analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"384_CR7","volume-title":"Constructive Analysis. Grundlehren der mathematischen Wissenschaften, no. 279","author":"E. Bishop","year":"1985","unstructured":"Bishop E., Bridges D.: Constructive Analysis. Grundlehren der mathematischen Wissenschaften, no. 279. Springer, Berlin (1985)"},{"key":"384_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565663","volume-title":"Varieties of Constructive Mathematics, London Mathematical Society Lecture Note Series, no. 97","author":"D. Bridges","year":"1987","unstructured":"Bridges D., Richman F.: Varieties of Constructive Mathematics, London Mathematical Society Lecture Note Series, no. 97. Cambridge University Press, Cambridge (1987)"},{"key":"384_CR9","doi-asserted-by":"crossref","unstructured":"Brouwer, L.E.J.: Intu\u00eftionistische Einf\u00fchrung des Dimensionsbegriffes, Kon. Ned. Akademie van Wetenschappen. In: Proceedings 29, 855\u2013863 also in [16], pp. 341\u2013349 (1926)","DOI":"10.1016\/B978-0-7204-2076-0.50034-9"},{"key":"384_CR10","doi-asserted-by":"crossref","unstructured":"Brouwer, L.E.J.: \u00dcber Definitionsbereiche von Funktionen. Math. Annalen 97, 60\u201375, also in: [16], pp. 390\u2013405 (1927)","DOI":"10.1007\/BF01447860"},{"key":"384_CR11","doi-asserted-by":"crossref","unstructured":"Brouwer, L.E.J.: An intuitionistic correction of the fixed-point theorem on the sphere. Proc. R. Soc. Lond. Ser. A 213, 1\u20132, also in [16], pp. 506\u2013507 (1952)","DOI":"10.1098\/rspa.1952.0106"},{"key":"384_CR12","doi-asserted-by":"crossref","unstructured":"Brouwer, L.E.J.: Door klassieke theorema\u2019s gesignaleerde pinkernen die onvindbaar zijn. Indag. Math. 14, 443\u2013445. translation: Fixed cores which cannot be found, though they are claimed to exist by classical theorems, also in [16], pp. 519\u2013521 (1952)","DOI":"10.1016\/S1385-7258(52)50061-1"},{"key":"384_CR13","doi-asserted-by":"crossref","unstructured":"Brouwer, L.E.J.: Points and spaces, Canad. J. Math. 6, 1\u201317, also in [16], pp. 522\u2013538 (1954)","DOI":"10.4153\/CJM-1954-001-9"},{"key":"384_CR14","unstructured":"Brouwer, L.E.J.: Collected works. In: Heyting, A. (ed.) Philosophy and Foundations of Mathematics, Vol. I. North Holland, Amsterdam (1975)"},{"key":"384_CR15","volume-title":"Elements of Intuitionism, 1st edn","author":"M. Dummett","year":"1977","unstructured":"Dummett M.: Elements of Intuitionism, 1st edn. Oxford University Press, Oxford (1977)"},{"key":"384_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198505242.001.0001","volume-title":"Elements of Intuitionism, 2nd edn","author":"M. Dummett","year":"2000","unstructured":"Dummett M.: Elements of Intuitionism, 2nd edn. Oxford University Press, Oxford (2000)"},{"key":"384_CR17","first-page":"82","volume":"4","author":"H. Freudenthal","year":"1936","unstructured":"Freudenthal H.: Zum intuitionistischen Raumbegriff. Comput. Math. 4, 82\u2013111 (1936)","journal-title":"Comput. Math."},{"key":"384_CR18","unstructured":"Heyting, A.: Intuitionism: An Introduction. North-Holland, Amsterdam 11956,2 1966"},{"key":"384_CR19","doi-asserted-by":"crossref","first-page":"325","DOI":"10.2307\/2270450","volume":"31","author":"W.A. Howard","year":"1966","unstructured":"Howard W.A., Kreisel G.: Transfinite induction and bar induction of types zero and one, and the r\u00f4le of continuity in intuitionistic analysis. J. Symb. Logic 31, 325\u2013358 (1966)","journal-title":"J. Symb. Logic"},{"key":"384_CR20","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1093\/acprof:oso\/9780198566519.003.0016","volume-title":"From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics","author":"H. Ishihara","year":"2005","unstructured":"Ishihara H.: Constructive reverse mathematics: compactness properties. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, pp. 245\u2013267. Oxford University Press, Oxford (2005)"},{"key":"384_CR21","doi-asserted-by":"crossref","first-page":"333","DOI":"10.2140\/pjm.1984.111.333","volume":"11","author":"W. Julian","year":"1984","unstructured":"Julian W., Richman F.: A uniformly continuous function on [0,1] that is everywhere different from its infimum. Pac. J. Math. 11, 333\u2013340 (1984)","journal-title":"Pac. J. Math."},{"key":"384_CR22","volume-title":"The Foundations of Intuitionistic Mathematics, Especially in Relation to the Theory of Recursive Functions","author":"S.C. Kleene","year":"1965","unstructured":"Kleene S.C., Vesley R.E.: The Foundations of Intuitionistic Mathematics, Especially in Relation to the Theory of Recursive Functions. North-Holland, Amsterdam (1965)"},{"key":"384_CR23","unstructured":"K\u00f6nig, D.: Theorie der endlichen und unendlichen Graphen. Akademische Verlagsgesellschaft, Leipzig, 1936, reprinted by Chelsea, New York (1950)"},{"key":"384_CR24","first-page":"121","volume":"3","author":"D. K\u00f6nig","year":"1927","unstructured":"K\u00f6nig D.: \u00dcber eine Schlussweise aus dem Endlichen ins Unendliche. Acta Litterarum ac Scientiarum Ser. Sci. Math. Szeged 3, 121\u2013130 (1927)","journal-title":"Acta Litterarum ac Scientiarum Ser. Sci. Math. Szeged"},{"key":"384_CR25","unstructured":"Loeb, I.: Equivalenten van de Waaierstelling. Master Thesis, Department of Mathematics. Katholieke Universiteit Nijmegen, Nijmegen (2003)"},{"key":"384_CR26","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.apal.2004.07.002","volume":"132","author":"I. Loeb","year":"2005","unstructured":"Loeb I.: Equivalents of the (weak) fan theorem. Ann. Pure Appl. Logic 132, 151\u2013166 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"384_CR27","unstructured":"Martino, E., Giaretta, P.: Brouwer, Dummett and the bar theorem, Atti del Congresso Nazionale in Logica, Montecatini Terme, 1\u20135 Ottobre 1979, Napoli (1981)"},{"key":"384_CR28","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s00153-012-0273-z","volume":"51","author":"J.R. Moschovakis","year":"2012","unstructured":"Moschovakis J.R., Vafeiadou G.: Some axioms for constructive analysis. Arch. Math. Logic 51, 443\u2013459 (2012)","journal-title":"Arch. Math. Logic"},{"key":"384_CR29","doi-asserted-by":"crossref","unstructured":"Nemoto, T.: Weak weak K\u00f6nig\u2019s Lemma in constructive reverse mathematics. In: Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 2008, World Scientific, Singapore, pp. 263\u2013270 (2011)","DOI":"10.1142\/9789814293020_0010"},{"key":"384_CR30","first-page":"1253","volume":"4","author":"V.P. Orevkov","year":"1963","unstructured":"Orevkov V.P.: A constructive mapping from the square onto itself displacing every constructive point. Sov. Math. Doklady 4, 1253\u20131256 (1963)","journal-title":"Sov. Math. Doklady"},{"key":"384_CR31","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0168-0072(90)90068-D","volume":"47","author":"N. Shioji","year":"1990","unstructured":"Shioji N., Tanaka K.: Fixed point theory in weak second-order arithmetic. Ann. Pure Appl. Logic 47, 167\u2013188 (1990)","journal-title":"Ann. Pure Appl. Logic"},{"key":"384_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic","author":"S.G. Simpson","year":"1999","unstructured":"Simpson S.G.: Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic. Springer, Berlin (1999)"},{"key":"384_CR33","unstructured":"Specker, E.: Der Satz vom Maximum in der Rekursiven analysis, constructivity in mathematics. In: Proceedings of Colloq. Amsterdam 1957, North-Holland, Amsterdam, pp. 254\u2013265 (1959)"},{"key":"384_CR34","volume-title":"Constructivism in Mathematics: An Introduction, Vol 1, 2","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra A.S., van Dalen D.: Constructivism in Mathematics: An Introduction, Vol 1, 2. North-Holland, Amsterdam (1988)"},{"key":"384_CR35","unstructured":"Veldman, W.: Investigations in Intuitionistic Hierarchy Theory. Ph.D. Thesis, Katholieke Universiteit Nijmegen, Nijmegen (1981)"},{"key":"384_CR36","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1016\/S0049-237X(09)70148-X","volume-title":"The L.E.J. Brouwer Centenary Symposium","author":"W. Veldman","year":"1982","unstructured":"Veldman W.: On the constructive contrapositions of two axioms of countable choice. In: Troelstra, A.S., van Dalen, D. (eds.) The L.E.J. Brouwer Centenary Symposium, pp. 513\u2013523. North-Holland, Amsterdam (1982)"},{"key":"384_CR37","first-page":"177","volume-title":"Perspectives on Negation, Essays in Honour of Johan J. de Iongh on the Occasion of his 80th Birthday","author":"W. Veldman","year":"1995","unstructured":"Veldman W.: Some intuitionistic variations on the notion of a finite set of natural numbers. In: de Swart, H.C.M., Bergmans, L.J.M. (eds.) Perspectives on Negation, Essays in Honour of Johan J. de Iongh on the Occasion of his 80th Birthday, pp. 177\u2013202. Tilburg University Press, Tilburg (1995)"},{"key":"384_CR38","doi-asserted-by":"crossref","unstructured":"Veldman, W.: On sets enclosed between a set and its double complement. In: Cantini, A., e.a. (ed.) Logic and Foundations of Mathematics, Proceedings Xth International Congress on Logic, Methodology and Philosophy of Science, Florence 1995, Vol. 3. Kluwer Academic Publishers, Dordrecht, pp. 143\u2013154 (1999)","DOI":"10.1007\/978-94-017-2109-7_10"},{"key":"384_CR39","first-page":"285","volume-title":"Reuniting the Antipodes, Constructive and Nonstandard Views of the Continuum, Proceedings of a Symposium Held in San Servolo\/Venice, 1999","author":"W. Veldman","year":"2001","unstructured":"Veldman W.: Understanding and using Brouwer\u2019s continuity principle. In: Berger, U., Osswald, H., Schuster, P. (eds.) Reuniting the Antipodes, Constructive and Nonstandard Views of the Continuum, Proceedings of a Symposium Held in San Servolo\/Venice, 1999, pp. 285\u2013302. Kluwer, Dordrecht (2001)"},{"key":"384_CR40","first-page":"330","volume":"2","author":"W. Veldman","year":"2001","unstructured":"Veldman W.: Bijna de waaierstelling. Nieuw Archief voor Wiskunde, vijfde serie, deel 2, 330\u2013339 (2001)","journal-title":"Nieuw Archief voor Wiskunde, vijfde serie, deel"},{"key":"384_CR41","unstructured":"Veldman, W.: Almost the Fan Theorem, Report no. 0113. Department of Mathematics, University of Nijmegen (2001)"},{"key":"384_CR42","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s00153-003-0207-x","volume":"43","author":"W. Veldman","year":"2004","unstructured":"Veldman W.: An intuitionistic proof of Kruskal\u2019s Theorem. Arch. Math. Logic 43, 215\u2013264 (2004)","journal-title":"Arch. Math. Logic"},{"key":"384_CR43","unstructured":"Veldman, W.: The Borel hierarchy and the projective hierarchy from Brouwer\u2019s intuitionistic perspective, Report no. 0604. Department of Mathematics, Faculty of Science, Radboud University Nijmegen (2006)"},{"key":"384_CR44","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.apal.2004.12.004","volume":"135","author":"W. Veldman","year":"2005","unstructured":"Veldman W.: Two simple sets that are not positively Borel. Ann. Pure Appl. Logic 135, 151\u2013209 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"384_CR45","unstructured":"Veldman, W.: Brouwer\u2019s Fan Theorem as an axiom and as a contrast to Kleene\u2019s alternative, report no. 0509. Department of Mathematics, Faculty of Science, Radboud University Nijmegen"},{"key":"384_CR46","first-page":"21","volume":"6","author":"W. Veldman","year":"2006","unstructured":"Veldman W.: Brouwer\u2019s real thesis on bars. Philos. Sci. Cahier Sp\u00e9cial 6, 21\u201339 (2006)","journal-title":"Philos. Sci. Cahier Sp\u00e9cial"},{"key":"384_CR47","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2178\/jsl\/1208358742","volume":"73","author":"W. Veldman","year":"2008","unstructured":"Veldman W.: The Borel hierarchy theorem from Brouwer\u2019s intuitionistic perspective. J. Symb. Logic 73, 1\u201364 (2008)","journal-title":"J. Symb. Logic"},{"key":"384_CR48","first-page":"351","volume-title":"Logic, Games and Philosophy: Foundational Perspectives","author":"W. Veldman","year":"2009","unstructured":"Veldman W.: The problem of determinacy of infinite games from an intuitionistic point of view. In: Majer, O., Pietarinen, P.-V., Tulenheimo, T. (eds.) Logic, Games and Philosophy: Foundational Perspectives, pp. 351\u2013370. Springer, Berlin (2009)"},{"key":"384_CR49","doi-asserted-by":"crossref","unstructured":"Veldman, W.: Brouwer\u2019s approximate fixed-point-theorem is equivalent to Brouwer\u2019s Fan Theorem. In: Lindstr\u00f6m, S., Palmgren, E., Segerberg, K., Stoltenberg-Hansen, V. (eds.) Logicism, Intuitionism, and Formalism\u2014What has Become of Them? pp. 277\u2013299. Springer, Berlin (2009)","DOI":"10.1007\/978-1-4020-8926-8_14"},{"key":"384_CR50","unstructured":"Veldman, W.: Some further equivalents of Brouwer\u2019s Fan Theorem and of Kleene\u2019s Alternative, submitted for publication. J. Pure Appl. Logic. arXiv:1311.6988"},{"key":"384_CR51","unstructured":"Veldman, W.: The principle of open induction on Cantor space and the Approximate-Fan Theorem, in preparation"},{"key":"384_CR52","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10699-004-3065-z","volume":"10","author":"F. Waaldijk","year":"2005","unstructured":"Waaldijk F.: On the foundations of constructive mathematics\u2014especially in relation to the theory of continuous functions. Found. Sci. 10, 249\u2013324 (2005)","journal-title":"Found. Sci."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0384-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0384-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0384-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T09:24:52Z","timestamp":1716801892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0384-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,5]]},"references-count":52,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["384"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0384-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,5]]}}}