{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T21:16:50Z","timestamp":1770585410597,"version":"3.49.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319401881","type":"print"},{"value":"9783319401898","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40189-8_6","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T15:34:07Z","timestamp":1465832047000},"page":"58-67","source":"Crossref","is-referenced-by-count":3,"title":["The Brouwer Fixed Point Theorem Revisited"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Brattka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Le Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph S.","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF02007567","volume":"25","author":"G Baigger","year":"1985","unstructured":"Baigger, G.: Die Nichtkonstruktivit\u00e4t des Brouwerschen Fixpunktsatzes. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 25, 183\u2013188 (1985)","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"issue":"8","key":"6_CR2","doi-asserted-by":"crossref","first-page":"968","DOI":"10.1016\/j.apal.2011.12.020","volume":"163","author":"V Brattka","year":"2012","unstructured":"Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a uniform low basis theorem. Ann. Pure Appl. Logic 163(8), 968\u20131008 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2178\/bsl\/1294186663","volume":"1","author":"V Brattka","year":"2011","unstructured":"Brattka, V., Gherardi, G.: Effective choice and boundedness principles in computable analysis. Bull. Symbolic Logic 1, 73\u2013117 (2011). arXiv:0905.4685","journal-title":"Bull. Symbolic Logic"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"143","DOI":"10.2178\/jsl\/1294170993","volume":"76","author":"V Brattka","year":"2011","unstructured":"Brattka, V., Gherardi, G.: Weihrauch degrees, omniscience principles and weak computability. J. Symbolic Logic 76, 143\u2013176 (2011). arXiv:0905.4679","journal-title":"J. Symbolic Logic"},{"issue":"6","key":"6_CR5","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1016\/j.apal.2011.10.006","volume":"163","author":"V Brattka","year":"2012","unstructured":"Brattka, V., Gherardi, G., Marcone, A.: The Bolzano-Weierstrass theorem is the jump of weak K\u00f6nig\u2019s lemma. Ann. Pure Appl. Logic 163(6), 623\u2013625 (2012). arXiv:1101.0792","journal-title":"Ann. Pure Appl. Logic"},{"key":"6_CR6","unstructured":"Brattka, V., Le Roux, S., Pauly, A.: Connected choice and Brouwer\u2019s fixed point theorem (2012). http:\/\/arxiv.org\/abs\/1206.4809"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-642-30870-3_7","volume-title":"How the World Computes","author":"V Brattka","year":"2012","unstructured":"Brattka, V., Le Roux, S., Pauly, A.: On the computational content of the brouwer fixed point theorem. In: Cooper, S.B., Dawar, A., L\u00f6we, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 56\u201367. Springer, Heidelberg (2012)"},{"issue":"4","key":"6_CR8","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1215\/00294527-2009-018","volume":"50","author":"G Gherardi","year":"2009","unstructured":"Gherardi, G., Marcone, A.: How incomputable is the separable Hahn-Banach theorem? Notre Dame J. Formal Logic 50(4), 393\u2013425 (2009)","journal-title":"Notre Dame J. Formal Logic"},{"key":"6_CR9","unstructured":"Hertling, P.: Unstetigkeitsgrade von Funktionen in der effektiven Analysis. Ph.D. thesis, Fernuniversit\u00e4t, Gesamthochschule in Hagen, Oktober 1996"},{"issue":"2","key":"6_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-9(2:2)2013","volume":"9","author":"K Higuchi","year":"2013","unstructured":"Higuchi, K., Pauly, A.: The degree-structure of Weihrauch-reducibility. Logical Meth. Comput. Sci. 9(2), 1\u201317 (2013)","journal-title":"Logical Meth. Comput. Sci."},{"issue":"1","key":"6_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/COM-2012-005","volume":"1","author":"M Hoyrup","year":"2012","unstructured":"Hoyrup, M., Rojas, C., Weihrauch, K.: Computability of the Radon-Nikodym derivative. Computability 1(1), 3\u201313 (2012)","journal-title":"Computability"},{"key":"6_CR12","unstructured":"Le Roux, S., Pauly, A.: Finite choice, convex choice and finding roots. Logical Methods in Computer Science (2015). http:\/\/arxiv.org\/abs\/1302.0380"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-319-20028-6_25","volume-title":"Evolving Computability","author":"S Le Roux","year":"2015","unstructured":"Le Roux, S., Pauly, A.: Weihrauch degrees of finding equilibria in sequential games. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 246\u2013257. Springer, Heidelberg (2015). http:\/\/dx.doi.org\/10.1007\/978-3-319-20028-6 25"},{"key":"6_CR14","unstructured":"Miller, J.S.: $$\\Pi _1^0$$ \u03a0 1 0 Classes in Computable Analysis and Topology. Ph.D. thesis. Cornell University (2002)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Neumann, E.: Computational problems in metric fixed point theory and their Weihrauch degrees. Logic. Methods Comput. Sci. 11(4) (2015)","DOI":"10.2168\/LMCS-11(4:20)2015"},{"issue":"1","key":"6_CR16","first-page":"55","volume":"152","author":"V Orevkov","year":"1963","unstructured":"Orevkov, V.: A constructive mapping of a square onto itself displacing every constructive point. Sov. Math. IV Trans. Doklady Akademie Nauk SSSR. 152(1), 55 (1963). Published by the American Mathematical Society","journal-title":"Sov. Math. IV Trans. Doklady Akademie Nauk SSSR."},{"issue":"18","key":"6_CR17","first-page":"2686","volume":"16","author":"A Pauly","year":"2010","unstructured":"Pauly, A.: How incomputable is finding Nash equilibria? J. Univers. Comput. Sci. 16(18), 2686\u20132710 (2010)","journal-title":"J. Univers. Comput. Sci."},{"issue":"5","key":"6_CR18","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1002\/malq.200910104","volume":"56","author":"A Pauly","year":"2010","unstructured":"Pauly, A.: On the (semi) lattices induced by continuous reducibilities. Math. Logic Q. 56(5), 488\u2013502 (2010)","journal-title":"Math. Logic Q."},{"key":"6_CR19","unstructured":"Pauly, A.: On the topological aspects of the theory of represented spaces. Computability (2016). http:\/\/arxiv.org\/abs\/1204.3763"},{"key":"6_CR20","unstructured":"Potgieter, P.H.: Computable counter-examples to the Brouwer fixed-point theorem (2008). http:\/\/arxiv.org\/abs\/0804.3199"},{"key":"6_CR21","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":"6_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of Second Order Arithmetic","author":"S Simpson","year":"1999","unstructured":"Simpson, S.: Subsystems of Second Order Arithmetic. Springer, Berlin (1999)"},{"key":"6_CR23","unstructured":"von Stein, T.: Vergleich nicht konstruktiv l\u00f6sbarer Probleme in der Analysis. Diplomarbeit, Fachbereich Informatik. FernUniversit\u00e4t Hagen (1989)"},{"key":"6_CR24","unstructured":"Weihrauch, K.: The degrees of discontinuity of some translators between representations of the real numbers. Informatik Berichte 129, FernUniversit\u00e4t Hagen, Hagen, July 1992"},{"key":"6_CR25","unstructured":"Weihrauch, K.: The TTE-interpretation of three hierarchies of omniscience principles. Informatik Berichte 130, FernUniversit\u00e4t Hagen, Hagen, September 1992"},{"key":"6_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer-Verlag, New York (2000)"}],"container-title":["Lecture Notes in Computer Science","Pursuit of the Universal"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40189-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T05:28:57Z","timestamp":1600752537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}